to main content

to side bar (if existing)

to footer with external links

Result: Metamathematics of first order arithmetic

Title:

Metamathematics of first order arithmetic / Petr Hájek ; Pavel Pudlák

Involved:

Hájek, Petr ; Pudlák, Pavel

Published:

Berlin [u.a.] : Springer, 1993

Scope:

XIV, 460 S

Resource Type:

book

Language:

English

Series/ Mutipart item:

Perspectives in mathematical logic

RVK-Notation:

Subject Added Keywords:

ISBN:

3540506322 ; 0387506322