A method in proofs of undefinability with applications to functions in the aritmetic of natural numbers [monographie] |
| Auteur(s): | De Bouvère, Karel Louis |
| Langue: | anglais |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1959 |
| Ville(s) d'édition: | Amsterdam (NL) |
| Classification MSC: | 02.00 (2000) |
| Notes: | vi ; bibliogr. pp 59-60 ; index pp 61-64 ; 24 cm (Reproduction de : Proefschrift : Wis- en Natuurkunde : Amsterdam : 1959) ; 64 p. |
| Thèmes: | logique, fondement arithmetique, philosophie, nombres naturels, theoreme de godel, these |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 02 BOU 59 | Disponible |