Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02807993n
Noun Concept
Categories: Teoria dei tipi
IT
teoria dei tipi intuizionista  martin-löf teoria dei tipi
IT
La teoria dei tipi intuizionista è una teoria dei tipi e una fondazione della matematica alternativa. Wikipedia
Definitions
Relations
Sources
IT
La teoria dei tipi intuizionista è una teoria dei tipi e una fondazione della matematica alternativa. Wikipedia
IS A
teoria dei tipi
USES
logica intuizionista
Wikipedia
IT
teoria dei tipi intuizionista
Wikidata
IT
Teoria dei tipi intuizionista
Wikipedia Translations
IT
martin-löf teoria dei tipi

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License