A. G. Dragalin

titleISBN-13
(ISBN-10)
year of publication
Mathematical Intuitionism: Introduction to Proof Theory978-O-8218-452O-2
(O-8218-452O-9)
1988

A. D. · A.G. · G D

A.G. Dudgeon