The Resource A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Resource Information
The item A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.
This item is available to borrow from 1 library branch.
 Summary
 "A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Godel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic."The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses numbertheoretic connections. The text presents a complete proof of the theorem of DavisPutnamRobinsonMatiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."back cover
 Language
 eng
 Edition
 2nd ed.
 Extent
 xvii, 384 pages
 Note
 Includes suggestions for further reading (p. [379]380) and index
 Isbn
 9781441906151
 Label
 A course in mathematical logic for mathematicians
 Title
 A course in mathematical logic for mathematicians
 Statement of responsibility
 Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
 Language
 eng
 Summary
 "A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Godel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic."The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses numbertheoretic connections. The text presents a complete proof of the theorem of DavisPutnamRobinsonMatiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."back cover
 Cataloging source
 BTCTA
 http://library.link/vocab/creatorName
 Manin, I︠U︡. I
 Dewey number
 511.3
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA9
 LC item number
 .M296 2010
 Literary form
 non fiction
 Nature of contents
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1948
 http://library.link/vocab/relatedWorkOrContributorName

 Koblitz, Neal
 Zilber, Boris
 Series statement
 Graduate texts in mathematics
 Series volume
 53 rev
 http://library.link/vocab/subjectName

 Logic, Symbolic and mathematical
 Einführung
 Mathematische Logik
 Label
 A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
 Note
 Includes suggestions for further reading (p. [379]380) and index
 Carrier category
 volume
 Carrier category code
 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Control code
 436030792
 Dimensions
 25 cm
 Edition
 2nd ed.
 Extent
 xvii, 384 pages
 Isbn
 9781441906151
 Lccn
 2009934521
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code
 n
 Other physical details
 illustrations
 Publisher number
 12617210
 System control number
 (OCoLC)436030792
 Label
 A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
 Note
 Includes suggestions for further reading (p. [379]380) and index
 Carrier category
 volume
 Carrier category code
 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Control code
 436030792
 Dimensions
 25 cm
 Edition
 2nd ed.
 Extent
 xvii, 384 pages
 Isbn
 9781441906151
 Lccn
 2009934521
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code
 n
 Other physical details
 illustrations
 Publisher number
 12617210
 System control number
 (OCoLC)436030792
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/Acourseinmathematicallogicfor/NYgzjqj9Z8c/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Acourseinmathematicallogicfor/NYgzjqj9Z8c/">A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/Acourseinmathematicallogicfor/NYgzjqj9Z8c/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Acourseinmathematicallogicfor/NYgzjqj9Z8c/">A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters IVIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>