Proof theory /
Takeuti, Gaisi 1926-
Proof theory / Gaisi Takeuti. - Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975. - vii, 372 σ. ; 24 εκ. - Studies in logic and the foundations of mathematics 81. . - Studies in logic and the foundations of mathematics 81. .
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. Περιλαμβάνει ευρετήριο.
0444104925
75023164
Λογική, Συμβολική και μαθηματική
511.36
Proof theory / Gaisi Takeuti. - Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975. - vii, 372 σ. ; 24 εκ. - Studies in logic and the foundations of mathematics 81. . - Studies in logic and the foundations of mathematics 81. .
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. Περιλαμβάνει ευρετήριο.
0444104925
75023164
Λογική, Συμβολική και μαθηματική
511.36