Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
Uniform Title: | Perspectives in logic.
|
---|---|
Main Author: | Schwichtenberg, Helmut, 1942- |
Corporate Author: | Association for Symbolic Logic |
Other Authors: | Wainer, S. S. |
Language: | English |
Published: |
Cambridge ; New York :
Cambridge University Press,
2012.
|
Series: | Perspectives in logic.
|
Subjects: | |
Physical Description: | xiii, 465 pages : illustrations ; 25 cm. |
Format: | Book |