Extensional Godel functional interpretation;: A consistency proof of classical analysis (Lecture notes in mathematics, 306)

by Horst Luckhardt Hardcover details (United States). ISBN: 978-0-387-06119-1 ISBN-10: 0-387-06119-3 Springer-Verlag · 1973