Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Amsterdam :
North-Holland
1964.
|
| Serier: | Studies in logic and the foundations of mathematics
|
| Fag: | |
| Autres localisations: | Voir dans le Sudoc |
| Fysisk beskrivelse: | 1 vol. (XII-190 p.) ; 22 cm. |
|---|---|
| Bibliografi: | Bibliogr. p. 188. Index |