A Course in Mathematical Logic for Mathematicians / (Record no. 5532)

MARC details
000 -LEADER
fixed length control field 02325cam a22003017a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240312151945.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090810s2010 nyua b 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1441906142
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781441906144
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781441906151
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1441906150
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number ManC2
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Manin, Yu. I.
245 12 - TITLE STATEMENT
Title A Course in Mathematical Logic for Mathematicians /
Statement of responsibility, etc Yu. I. Manin
250 ## - EDITION STATEMENT
Edition statement 2nd Ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication New York :
Name of publisher Springer,
Year of publication c2010.
300 ## - PHYSICAL DESCRIPTION
Number of Pages xvii, 384p.
490 1# - SERIES STATEMENT
Series statement Graduate Texts in Mathematics
500 ## - GENERAL NOTE
General note The first edition was published in 1977 with the title: A Course in Mathematical Logic.
500 ## - GENERAL NOTE
General note Chapters I-VIII were translated from Russian by Neal Koblitz; With new chapters by Boris Zilber and Yuri I. Manin.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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.
520 1# - SUMMARY, ETC.
Summary, etc "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."--BOOK JACKET.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, Symbolic and Mathematical
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Koblitz, Neal
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Zilber, Boris
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Source of acquisition Purchase Price Bill number Full call number Accession Number Print Price Bill Date/Price effective from Koha item type
      Mathematics Indian Institute of Technology Tirupati Indian Institute of Technology Tirupati General Stacks 05/03/2024 Shankar's Book Agency Pvt. Ltd. 3185.42 IN33416/23-24 511.3 ManC2 10209 5463.84 20/12/2023 Books