Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.
2012
QA9.59 .S39 2012
Linked e-resources
Linked Resource
Online Access
Details
Title
Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.
ISBN
0521517699
9780521517690
9781139217101
9780521517690
9781139217101
Publication Details
Cambridge : Cambridge University Press, 2012.
Language
English
Description
xiii, 465 p. : ill.
Call Number
QA9.59 .S39 2012
Dewey Decimal Classification
511.352
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Wainer, S. S.
Added Corporate Author
Association for Symbolic Logic.
Series
Perspectives in logic.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources