Normal view MARC view ISBD view

Metamathematics of first-order arithmetic

Petr Hájek

Metamathematics of first-order arithmetic - - Cambridge University Press c2016 - xiv, 460p.

inv no.SAR/331/2017; dt.30-08-2017

ISBN: 9781107168411 (HB)

Subjects--Topical Terms:
Arithmetic – Foundations
Logic
Computer science

Dewey Class. No.: 513.01 HAJ(MET)

Place hold
Print
Suggest for purchase
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)