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 (836 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: