SAMBIN, GIOVANNI
SAMBIN, GIOVANNI
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.017 secondi).
A minimalist foundation at work
2011 Sambin, Giovanni
Dynamics in foundations: what does it mean in the practice of mathematics?
2019 Sambin, Giovanni
Incompletezza costruttiva
2008 Sambin, Giovanni
Logica intuizionistica e logica classica a confronto
2011 Sambin, Giovanni
Matematica costruttiva
2015 Sambin, Giovanni
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto.
2007 Sambin, Giovanni
Reale e ideale in matematica
2011 Sambin, Giovanni
Toward a minimalist foundation for constructive mathematics
2005 Maietti, MARIA EMILIA; Sambin, Giovanni
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
A minimalist foundation at work | 2011 | SAMBIN, GIOVANNI | - | - | Logic, Mathematics, Philosophy, Vintage Enthusiasms. Essays in Honour of John L. Bell |
Dynamics in foundations: what does it mean in the practice of mathematics? | 2019 | giovanni sambin | - | SYNTHÈSE LIBRARY | Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts. |
Incompletezza costruttiva | 2008 | SAMBIN, GIOVANNI | - | - | La complessità di Gödel |
Logica intuizionistica e logica classica a confronto | 2011 | SAMBIN, GIOVANNI | - | - | Un mondo di idee: la matematica ovunque |
Matematica costruttiva | 2015 | SAMBIN, GIOVANNI | - | - | Le direzioni della ricerca logica in Italia |
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto. | 2007 | SAMBIN, GIOVANNI | - | - | I grandi matematici moderni - Goedel |
Reale e ideale in matematica | 2011 | SAMBIN, GIOVANNI | - | - | La ricerca logica in Italia. Studi in onore di Corrado Mangione |
Toward a minimalist foundation for constructive mathematics | 2005 | MAIETTI, MARIA EMILIASAMBIN, GIOVANNI | - | - | From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics |