Metamathematics of first-order arithmetic


Petr Hájek, Pavel Pudlák
Bok Engelsk 1998
Utgitt
Berlin : Springer , 1998
Omfang
XIV, 460 s.
Utgave
2nd print.
ISBN
354063648X

Andre utgaver/formater

Metamathematics of first-order arithmetic
Petr Hájek, Pavel Pudlák

Bok · Engelsk · 1993

Bibliotek som har denne