%0 Book %1 books/daglib/0032850 %A Hájek, Petr %A Pudlák, Pavel %B Perspectives in mathematical logic %D 1993 %I Springer %K dblp %P I-XIV, 1-460 %T Metamathematics of First-Order Arithmetic. %@ 978-3-540-63648-9

@book{books/daglib/0032850, added-at = {2014-03-11T00:00:00.000+0100}, author = {Hájek, Petr and Pudlák, Pavel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2811b3c33f81bb2e4eb36453852ab8220/dblp}, ee = {http://www.springer.com/mathematics/book/978-3-540-63648-9}, interhash = {b4558ae0c235436afbb4bf4d3a9b0392}, intrahash = {811b3c33f81bb2e4eb36453852ab8220}, isbn = {978-3-540-63648-9}, keywords = {dblp}, pages = {I-XIV, 1-460}, publisher = {Springer}, series = {Perspectives in mathematical logic}, timestamp = {2016-02-02T10:46:12.000+0100}, title = {Metamathematics of First-Order Arithmetic.}, year = 1993 }