Introduction to metamathematics
Salvato in:
| Autore principale: | Kleene, Stephen Cole, 1909-1994 |
|---|---|
| Natura: | Livre papier |
| Lingua: | Anglais |
| Pubblicazione: |
Amsterdam ; London : Groningen :
North-Holland publishing Company ; P. Noordhoff
1952.
|
| Serie: | Bibliotheca mathematica : a series of monographs on pure and applied mathematics
1 |
| Soggetti: | |
| Nota: |
Autres tirages : 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000 |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Kleene, Stephen Cole, 1909-1994. Introduction to metamathematics., Groningen, Wolters-Noordhoff Pub. [1971] |
Documenti analoghi
-
The metamathematics of algebraic systems : collected papers : 1936-1967
(Livre papier)
Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
North-Holland Publishing Company, 1971 -
Métamathématique
(Livre papier)
Lorenzen, Paul, 1915-1994
Éditions Mouton : Gauthier-Villars, 1967 -
Ecrits logiques
(Livre papier)
Herbrand, Jacques, 1908-1931, et al.
Presses universitaires de France, 1968 -
La logique interne
(Livre papier)
Gauthier, Yvon, 1941-
Librairie philosophique J. Vrin, 1991 -
Le théorème de Gödel
(Livre papier)
Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Éd. du Seuil, 1997

