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)

Central Library

Ramakrishna Mission
Vivekananda Educational and Research Institute (RKMVERI)
Belur Main Campus

(Deemed to be University as declared by Govt. of India under Section 3 of UGC Act, 1956)

Proofs and Computations

Central Library

Ramakrishna MissionVivekananda Educational and Research Institute (RKMVERI)Belur Main Campus

(Deemed to be University as declared by Govt. of India under Section 3 of UGC Act, 1956)

Proofs and Computations

Ramakrishna Mission
Vivekananda Educational and Research Institute (RKMVERI)
Belur Main Campus