A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
North-Holland,
1959
|
| Subjects: |
| Item Description: | Monograph |
|---|---|
| Physical Description: | v, 64 p. ; 24 cm. |
| Bibliography: | Includes bibliographical references and index |