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 |
|---|---|
| Format: | Electrònic eBook |
| Idioma: | English |
| Publicat: |
Cambridge University Press,
09/07/2011
|
| Edició: | 1 |
| Matèries: | |
| Accés en línia: | Full text available on Cambridge University Press Off-campus access |
Ítems similars
-
An Introduction to Gödel's Theorems
per: Peter Smith
Publicat: (2013) -
Lambda Calculus with Types
per: Henk Barendregt, Wil Dekkers, Richard Statman
Publicat: (2013) -
Programming with Higher-Order Logic
per: Dale Miller, Gopalan Nadathur
Publicat: (2012) -
An Introduction to Category Theory
per: Harold Simmons
Publicat: (2012) -
Fuzzy sets and fuzzy logic : theory and applications /
per: Klir, George J., 1932-
Publicat: (2015)