✦ LIBER ✦
A Method in Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbersby Karel Louis de Bouvère
✍ Scribed by Review by: Gert H. Müller
- Book ID
- 124186084
- Publisher
- Association for Symbolic Logic
- Year
- 1960
- Tongue
- English
- Weight
- 579 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2964710
No coin nor oath required. For personal study only.