Extensional Gödel functional interpretation
ISBN
9783540382836
Extensional Gödel functional interpretation is a intuitionistic mathematics, proof theory book by Horst Luckhardt.
Discover Extensional Gödel functional interpretation by Horst Luckhardt, intuitionistic mathematics.
About the Author
Horst Luckhardt is the author of Extensional Gödel functional interpretation. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Extensional Gödel functional interpretation?+
Extensional Gödel functional interpretation is a Intuitionistic mathematics, Proof theory book.
Who wrote Extensional Gödel functional interpretation?+
Extensional Gödel functional interpretation was written by Horst Luckhardt.