Normal view MARC view ISBD view

Proofs and Computations

Helmut Schwichtenberg

Proofs and Computations - - Cambridge University Press 2012 - xiii, 465p. - Perspectives in logic .

bill No, SAR/232/2011; dt 24-03-2012

ISBN: 9780521517690 (HB)

Subjects--Topical Terms:
Computable functions
Proof theory

Dewey Class. No.: 004.01511352 SCH(PRO)

Place hold
Print
Cite
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)