Kurt Gödel and the Foundations of Mathematics
| Autor Principal: | Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | English |
| Publicado: |
Cambridge University Press,
09/07/2011
|
| Edición: | 1 |
| Subjects: | |
| Acceso en liña: | Full text available on Cambridge University Press Off-campus access |
Títulos similares
-
An Introduction to Gödel's Theorems
por: Peter Smith
Publicado: (2013) -
Lambda Calculus with Types
por: Henk Barendregt, Wil Dekkers, Richard Statman
Publicado: (2013) -
Programming with Higher-Order Logic
por: Dale Miller, Gopalan Nadathur
Publicado: (2012) -
An Introduction to Category Theory
por: Harold Simmons
Publicado: (2012) -
Fuzzy sets and fuzzy logic : theory and applications /
por: Klir, George J., 1932-
Publicado: (2015)