Proof theory and intuitionistic systems /
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1971.
|
Σειρά: | Lecture notes in mathematics (Springer-Verlag)
212. |
Θέματα: |
Φυσική περιγραφή: | vii, 290, [1] σ. ; 26 εκ. |
---|---|
Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφία. |
ISBN: | 354005541X 038705541X |