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

Troelstra, A. S.

Basic proof theory / A.S. Troelstra, H. Schwichtenberg. - Cambridge : Cambridge University Press, 1996. - xi, 343 σ. ; 24 εκ. - Cambridge tracts in theoretical computer science 43. . - Cambridge tracts in theoretical computer science 43. .

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 0521572231

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

Dewey Class. No.: 511.3