Κανονική προβολή Προβολή MARC Προβολή ISBD

Scarpellini, Bruno

Proof theory and intuitionistic systems / Scarpellini Bruno. - Berlin ; New York : Springer-Verlag, 1971. - vii, 290, [1] σ. ; 26 εκ. - Lecture notes in mathematics 212. . - Lecture notes in mathematics (Springer-Verlag) 212. .

Περιλαμβάνει βιβλιογραφία.

ISBN: 354005541X 038705541X

LCCN: 78169705

Subjects--Topical Terms:
Λογική, Συμβολική και μαθηματική

Dewey Class. No.: 511.36