Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer.
Material type: TextSeries: Publication details: Ithaca, NY : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, c2012.Description: xiii, 465 p. : ill. ; 24 cmISBN:- 9780521517690
- 0521517699
- 511.352 22 SCP
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Library, Institute of Information and Communication Technology General Stacks | 511.352 SCP (Browse shelf(Opens below)) | 1 | Available | I001884 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 511.352 SCP (Browse shelf(Opens below)) | 2 | Available | I001883 |
Includes bibliographical references (p. 431-455) and index.
There are no comments on this title.