Proof theory and intuitionistic systems

RecordNumber :

23948

LC Class :

LC Number :

LC CutterNumber :

.L28,no.

LC Date :

212

Dewey Class :

511

Dewey Date :

/.3

Author :

Title :

Publication :

Springer-Verlag

Publication Year :

1971

Collation :

vii, 290, [1] p., 26 cm

Series :

Lecture notes in mathematics, 212

Subject :

Holding Info. :

354005541

DocumentNumber :

5513

Biblography :

Bibliography: p. [291]

BL :

Link To Document :