Cargando…
Introduction to metamathematics
Autor principal: | Kleene, Stephen Cole |
---|---|
Lenguaje: | eng |
Publicado: |
North-Holland
1952
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/106992 |
Ejemplares similares
-
An introduction to Ramsey theory: fast functions, infinity, and metamathematics
por: Katz, Matthew, et al.
Publicado: (2018) -
Metamathematics of fuzzy logic
por: Hájek, Petr
Publicado: (1998) -
Metamathematics of first-order arithmetic
por: Hajek, Petr, et al.
Publicado: (2017) -
Foundations of constructive mathematics: metamathematical studies
por: Beeson, Michael J
Publicado: (1985) -
Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, A
Publicado: (1973)