Metamatematics of first - order arithmetic
Hajek, Petr
Metamatematics of first - order arithmetic Petr Hajek, Pavel Pudlak - Berlin Springer 1998 - XIV, 453 p 24 cm - Perspectives in mathematical logic .
Contine bibliogr. si index
354063648x
Metamatematics of first - order arithmetic Petr Hajek, Pavel Pudlak - Berlin Springer 1998 - XIV, 453 p 24 cm - Perspectives in mathematical logic .
Contine bibliogr. si index
354063648x