Algebra of proofs /
Szabo, M. E.
Algebra of proofs / M. E. Szabo. - Amsterdam ; North-Holland, 1978. - xii, 297 σ. ; 24 εκ. - Studies in logic and the foundations of mathematics 88. . - Studies in logic and the foundations of mathematics .
Περιλαμβάνει βιβλιογραφία.
0720422868
Λογική, Συμβολική και μαθηματική
511.360 285 63
Algebra of proofs / M. E. Szabo. - Amsterdam ; North-Holland, 1978. - xii, 297 σ. ; 24 εκ. - Studies in logic and the foundations of mathematics 88. . - Studies in logic and the foundations of mathematics .
Περιλαμβάνει βιβλιογραφία.
0720422868
Λογική, Συμβολική και μαθηματική
511.360 285 63