Extensional Gödel functional interpretation
- ISBN
- 9780387061191
Extensional Gödel functional interpretation is a intuitionistic mathematics, proof theory book by .
Discover Extensional Gödel functional interpretation by , intuitionistic mathematics.
About the Author
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 .