Proofs and computations

Responsibility
Helmut Schwichtenberg, Stanley S. Wainer.
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