Welcome to Central Library, SUST
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer.

By: Contributor(s): Material type: TextTextSeries: Publication details: Ithaca, NY : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, c2012.Description: xiii, 465 p. : ill. ; 24 cmISBN:
  • 9780521517690
  • 0521517699
Subject(s): DDC classification:
  • 511.352 22 SCP
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Library, Institute of Information and Communication Technology General Stacks 511.352 SCP (Browse shelf(Opens below)) 1 Available I001884
Books Books Library, Institute of Information and Communication Technology General Stacks 511.352 SCP (Browse shelf(Opens below)) 2 Available I001883
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
511.352 PEA The annotated Turing : 511.352 PEA The annotated Turing : 511.352 SCP Proofs and computations / 511.352 SCP Proofs and computations / 511.36028563 AUT Automated reasoning : 511.36028563 AUT Automated reasoning : 511.36028563 AUT Automated reasoning :

Includes bibliographical references (p. 431-455) and index.

There are no comments on this title.

to post a comment.