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

Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.). - Berlin ; Heidelberg ; New York : Springer, 1973. - xvii, 486 σ. ; 24 εκ. - Lecture notes in mathematics 344. . - Lecture notes in mathematics (Springer-Verlag) 344. .

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

ISBN: 0387064915 3540064915

LCCN: 73014239

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

Dewey Class. No.: 511.36