Extensional Gödel Functional Interpretation
| Author | : Horst Luckhardt |
| Publisher | : Springer |
| Total Pages | : 167 |
| Release | : 2006-11-15 |
| ISBN-10 | : 9783540382836 |
| ISBN-13 | : 3540382836 |
| Rating | : 4/5 (36 Downloads) |
Book Synopsis Extensional Gödel Functional Interpretation by : Horst Luckhardt
Download or read book Extensional Gödel Functional Interpretation written by Horst Luckhardt and published by Springer. This book was released on 2006-11-15 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt:
