Format:
VII, 290 S
ISBN:
038705541X
,
354005541X
Series Statement:
Lecture notes in mathematics 212
Additional Edition:
Erscheint auch als Online-Ausgabe Scarpellini, Bruno Proof Theory and Intuitionistic Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1971 ISBN 9783540368755
Additional Edition:
ISBN 9783540055419
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Beweistheorie
;
Intuitionistische Mathematik
Bookmarklink