Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs) (English and Russian Edition)

by A. G. Dragalin Paperback details (United States). ISBN: 978-0-8218-4520-2 ISBN-10: 0-8218-4520-9 American Mathematical Society · 1988