Proofs and computations

Author/Creator
Schwichtenberg, Helmut, 1942-
Language
English.
Imprint
Ithaca, NY : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2012.
Physical description
xiii, 465 p. : ill. ; 24 cm.
Series
Perspectives in logic.

Browse related items

Start at call number:
Librarian view | Catkey: 9438219