Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004622060/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog contributor b6540302.
- catalog contributor b6540303.
- catalog created "v1993.".
- catalog date "1993".
- catalog date "v1993.".
- catalog dateCopyrighted "v1993.".
- catalog description "Includes bibliographical references (p. [409]-453) and indexes.".
- catalog extent "xiv, 460 p. ;".
- catalog identifier "0387506322".
- catalog identifier "3540506322".
- catalog isPartOf "Perspectives in mathematical logic".
- catalog issued "1993".
- catalog issued "v1993.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "513/.01 20".
- catalog subject "Arithmetic Foundations.".
- catalog subject "QA248 .H23 1993".
- catalog title "Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák.".
- catalog type "text".