Nantilus
Theory of formal systems
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Thèse ou mémoire |
| Langue : | anglais |
| Titre complet : | Theory of formal systems / Raymond M. Smullyan |
| Publié : |
Princeton (N.J.) :
Princeton University Press
, 1961 |
| Description matérielle : | 1 vol. (VIII-147 p.) |
| Collection : | Annals of mathematics studies ; 47 |
| Note de thèse : | Texte remanié de : Doctoral dissertation : Mathematics : Princeton University : 1959 |
| Sujets : |
Table des matières indisponible