Metamathematics of First-Order Arithmetic

Loading edition detail...

Preparing this view.

Metamathematics of First-Order Arithmetic

Petr Hájek, Pavel Pudlák

Bookitis Pick

Metamathematics of First-Order ArithmeticPetr Hájek, Pavel Pudlák

Petr Hájek, Pavel PudlákPublished 20171 title views

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Cambridge University Press
Search language	english
ISBN_13	978-1-316-71727-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

MO
Image source: Open Library
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
Petr Hajek, Pavel Pudlak | Springer | June 1998
1 views
Metamathematics of First-Order...Petr Hájek, Pavel Pudlák
MO
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák | Cambridge University Press | 2017
Metamathematics of First-Order...Petr Hájek, Pavel Pudlák
MO
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák | Cambridge University Press | 2016
Metamathematics of First-Order...Petr Hájek, Pavel Pudlák
MO
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák | 1993