Coverart for item
The Resource 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

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

Label
A course in mathematical logic for mathematicians
Title
A course in mathematical logic for mathematicians
Statement of responsibility
Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Creator
Contributor
Subject
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 number-theoretic connections. The text presents a complete proof of the theorem of Davis-Putnam-Robinson-Matiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."--back cover
Member of
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 I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Instantiates
Publication
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 I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Publication
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 Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...