Logicism, Intuitionism, and Formalism What Has Become of Them? /
The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Lindström, Sten (Editor ), Palmgren, Erik (Editor ), Segerberg, Krister (Editor ), Stoltenberg-Hansen, Viggo (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
341 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Belief Revision in Non-Classical Logics
por: Ribeiro, Márcio Moretto
Publicado: (2013) -
Dependence Logic Theory and Applications /
Publicado: (2016) -
Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Publicado: (2006) -
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
por: Carnielli, Walter, et al.
Publicado: (2008) -
A Course on Mathematical Logic
por: Srivastava, Shashi Mohan
Publicado: (2013)