A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers.
Saved in:
| Author / Creator: | Bouvère, Karel Louis de |
|---|---|
| Imprint: | Amsterdam, North-Holland Pub. Co., 1959. |
| Description: | vi, 64 p. 25 cm. |
| Language: | English |
| Subject: | |
| Format: | Dissertations Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/652656 |
Mansueto
| Call Number: |
QA9.B8
|
|---|---|
| c.1 | Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian |
