| Shelfclass_id | 4.B.1 |
| Sortkey | SCARPELLINI, BRUNO |
| Authors | Bruno Scarpellini |
| Title | Proof Theory and Intuitionistic Systems |
| Publisher | Springer-Verlag |
| Year | 1971 |
| Languages | eng |
| Isbn | 354005541X |
| Series | Lecture Notes in Mathematics |
| Volume | 212 |
| Description | vii, 290, [1] p. 26 cm. |
| Record date | 20091126 |
| Location | New York |
| Keywords | Intuitionistic mathematics, Proof theory |