Matches in Library of Congress for { <http://lccn.loc.gov/2009934521> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2009934521 contributor B11729944.
- 2009934521 contributor B11729945.
- 2009934521 created "c2010.".
- 2009934521 date "2010".
- 2009934521 date "c2010.".
- 2009934521 dateCopyrighted "c2010.".
- 2009934521 description "Includes bibliographical references (p. [379]-380) and index.".
- 2009934521 description "Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum problem and forcing ; IV. The continuum problem and constructible sets -- Computability: V. Recursive functions and Church's thesis ; VI. Diophantine sets and algorithmic undecidability -- Provability and computability: VII. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation -- Model theory: X. Model theory.".
- 2009934521 extent "xvii, 384 p. :".
- 2009934521 identifier "1441906142 (hbk.)".
- 2009934521 identifier "1441906150".
- 2009934521 identifier "9781441906144 (hbk.)".
- 2009934521 identifier "9781441906151".
- 2009934521 isPartOf "Graduate texts in mathematics ; 53.".
- 2009934521 isPartOf "Graduate texts in mathematics, 0072-5285 ; 53".
- 2009934521 issued "2010".
- 2009934521 issued "c2010.".
- 2009934521 language "eng rus".
- 2009934521 language "eng".
- 2009934521 publisher "New York : Springer,".
- 2009934521 subject "511.3 22".
- 2009934521 subject "Einführung. swd".
- 2009934521 subject "Logic, Symbolic and mathematical.".
- 2009934521 subject "Mathematische Logik. swd".
- 2009934521 subject "QA9 .M29613 2010".
- 2009934521 tableOfContents "Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum problem and forcing ; IV. The continuum problem and constructible sets -- Computability: V. Recursive functions and Church's thesis ; VI. Diophantine sets and algorithmic undecidability -- Provability and computability: VII. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation -- Model theory: X. Model theory.".
- 2009934521 title "A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.".
- 2009934521 type "text".