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 Pub. Co.,
1959.
|
Subjects: |
Sistema de Bibliotecas de Universidad de Costa Rica
Call Number: |
511.3 |
---|---|
Copy | Available |