Proof Theory and Intuitionistic Systems 3S1D23F0AS
| URI | m2://res/3S1D23F0AS |
|---|---|
| Kind | monograph |
| Creators | Bruno Scarpellini |
| Date | 1971 |
| Scope | in |
Expressions
e1: edition
| Date | 1971 |
|---|---|
| Ids | DOI 10.1007/bfb0068783 |
- m1: print, Springer Berlin Heidelberg, 1971. isbn 9783540055419, isbn 9783540368755
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/bfb0068783 (work)