Foundational Theories of Classical and Constructive Mathematics
Gardado en:
| Autor Principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | inglés |
| Publicado: |
Dordrecht :
Springer Netherlands,
2011.
|
| Series: | The Western Ontario Series in Philosophy of Science,
76 |
| Subjects: | |
| Acceso en liña: | http://dx.doi.org/10.1007/978-94-007-0431-2 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
Foundational Theories of Classical and Constructive Mathematics
por: Sommaruga, Giovanni
Publicado: (2011)
por: Sommaruga, Giovanni
Publicado: (2011)
Constructibility and mathematical existence
por: Chihara, Charles S., 1932-
Publicado: (1990)
por: Chihara, Charles S., 1932-
Publicado: (1990)
Constructibility and mathematical existence
por: Chihara, Charles S., 1932-
Publicado: (1990)
por: Chihara, Charles S., 1932-
Publicado: (1990)
Proof and knowledge in mathematics
Publicado: (1992)
Publicado: (1992)
Proof and knowledge in mathematics
Publicado: (1992)
Publicado: (1992)
The Oxford handbook of philosophy of mathematics and logic
Publicado: (2005)
Publicado: (2005)
The Oxford handbook of philosophy of mathematics and logic
Publicado: (2005)
Publicado: (2005)
Essays in the philosophy and history of logic and mathematics
por: Murawski, Roman
Publicado: (2010)
por: Murawski, Roman
Publicado: (2010)
Essays in the philosophy and history of logic and mathematics
por: Murawski, Roman
Publicado: (2010)
por: Murawski, Roman
Publicado: (2010)
Constructive Negations and Paraconsistency
por: Odintsov, Sergei P.
Publicado: (2008)
por: Odintsov, Sergei P.
Publicado: (2008)
Constructive Negations and Paraconsistency
por: Odintsov, Sergei P.
Publicado: (2008)
por: Odintsov, Sergei P.
Publicado: (2008)
Logos and máthema studies in the philosophy of mathematics and history of logic /
por: Murawski, Roman
Publicado: (2011)
por: Murawski, Roman
Publicado: (2011)
Logos and máthema studies in the philosophy of mathematics and history of logic /
por: Murawski, Roman
Publicado: (2011)
por: Murawski, Roman
Publicado: (2011)
The Arch Papers on the Mathematics of Abstraction
por: Cook, Roy T.
Publicado: (2007)
por: Cook, Roy T.
Publicado: (2007)
The Arch Papers on the Mathematics of Abstraction
por: Cook, Roy T.
Publicado: (2007)
por: Cook, Roy T.
Publicado: (2007)
Strict Finitism and the Logic of Mathematical Applications
por: Ye, Feng
Publicado: (2011)
por: Ye, Feng
Publicado: (2011)
Strict Finitism and the Logic of Mathematical Applications
por: Ye, Feng
Publicado: (2011)
por: Ye, Feng
Publicado: (2011)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan
Publicado: (2006)
por: Benthem, Johan
Publicado: (2006)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan
Publicado: (2006)
por: Benthem, Johan
Publicado: (2006)
New essays on Tarski and philosophy
Publicado: (2008)
Publicado: (2008)
New essays on Tarski and philosophy
Publicado: (2008)
Publicado: (2008)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
por: Kerkhove, Bart
Publicado: (2007)
por: Kerkhove, Bart
Publicado: (2007)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
por: Kerkhove, Bart
Publicado: (2007)
por: Kerkhove, Bart
Publicado: (2007)
Truth and Falsehood An Inquiry into Generalized Logical Values /
por: Shramko, Yaroslav
Publicado: (2012)
por: Shramko, Yaroslav
Publicado: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
por: Shramko, Yaroslav
Publicado: (2012)
por: Shramko, Yaroslav
Publicado: (2012)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
por: Carnielli, Walter
Publicado: (2008)
por: Carnielli, Walter
Publicado: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
por: Carnielli, Walter
Publicado: (2008)
por: Carnielli, Walter
Publicado: (2008)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
por: Dybjer, P.
Publicado: (2012)
por: Dybjer, P.
Publicado: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
por: Dybjer, P.
Publicado: (2012)
por: Dybjer, P.
Publicado: (2012)
Information and Knowledge A Constructive Type-theoretical Approach /
por: Primiero, Giuseppe
Publicado: (2008)
por: Primiero, Giuseppe
Publicado: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
por: Primiero, Giuseppe
Publicado: (2008)
por: Primiero, Giuseppe
Publicado: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
por: DeVidi, David
Publicado: (2011)
por: DeVidi, David
Publicado: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
por: DeVidi, David
Publicado: (2011)
por: DeVidi, David
Publicado: (2011)
Logic and Philosophy of Mathematics in the Early Husserl
por: Centrone, Stefania
Publicado: (2010)
por: Centrone, Stefania
Publicado: (2010)
Logic and Philosophy of Mathematics in the Early Husserl
por: Centrone, Stefania
Publicado: (2010)
por: Centrone, Stefania
Publicado: (2010)
Advances in Proof-Theoretic Semantics
Publicado: (2016)
Publicado: (2016)
Advances in Proof-Theoretic Semantics
Publicado: (2016)
Publicado: (2016)
Proof, Computation and Agency Logic at the Crossroads /
por: van Benthem, Johan
Publicado: (2011)
por: van Benthem, Johan
Publicado: (2011)
Proof, Computation and Agency Logic at the Crossroads /
por: van Benthem, Johan
Publicado: (2011)
por: van Benthem, Johan
Publicado: (2011)
Classical mathematical logic the semantic foundations of logic /
por: Epstein, Richard L.
Publicado: (2011)
por: Epstein, Richard L.
Publicado: (2011)