Author: "HÁJEK, PETR/ PUDLÁK, PAVEL
Title: Metamathematics of First-Order Arithmetic
Description: Spublisher, "1998. Springer, Berlin, 1998. XIV, 460 pages, paperback, (former library book) -Perspectives in Mathematical Logic- Einband: "Paperback/Taschenbücher. 720

Keywords: "Naturwissenschaften und Mathematik