Tools

LEADER 04239cam 22006617a 4500

001 ssj0000322374;

003 WaSeSS;

005 20250212121027.0;

006 m d ;

007 cr n ;

008 090810s2010 nyua sb 001 0 eng d;

010 a| 2009934521;

015 a| 99339664X2| dnb;

015 a| 09,N15,06422| dnb;

020 a| 1441906142 (hbk.);

020 a| 9781441906144 (hbk.);

020 a| 9781441906151;

020 a| 1441906150;

028 52 a| 12617210;

035 a| (WaSeSS)ssj0000322374;

041 1 a| engh| rus;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA9b| .M29613 2010;

082 04 a| 511.32| 22;

084 a| 5102| sdnb;

084 a| SK 1302| rvk;

100 1 a| Manin, I͡U. I.?| UNAUTHORIZED;

245 12 a| A course in mathematical logic for mathematiciansh| [electronic resource] /c| Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.;

250 a| 2nd ed.;

260 a| New York :b| Springer,;

300 a| xvii, 384 p. :b| ill. ;c| 25 cm.;

490 1 a| Graduate texts in mathematics,x| 0072-5285 ;v| 53;

500 a| The first edition was published in 1977 with the title: A course in mathematical logic.;

504 a| Includes bibliographical references (p. [379]-380) and index.;

505 0 a| 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. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation -- Model theory: X. Model theory.;

506 a| Available only to authorized users.;

520 1 a| "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.;

538 a| Mode of access: World Wide Web;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 07 a| Einführung.2| swd;

650 07 a| Mathematische Logik.2| swd;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Koblitz, Neal,d| 1948-=| ^A95572;

700 1 a| Zilber, Boris.=| ^A1200299;

830 0 a| Graduate texts in mathematics ;v| 53.=| ^A638225;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-1-4419-0615-1;

856 40 z| Full text available from Springer Nature - Springer Mathematics and Statistics eBooks 2010 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-1-4419-0615-1;

947 a| (OCoLC)ocn436030792;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4032212;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4032212-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4032212-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4032212-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

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.

Author/creator	Manin, I͡U. I.
Other author	Koblitz, Neal, 1948-
Other author	Zilber, Boris.
Format	Electronic
Edition	2nd ed.
Publication Info	New York : Springer,
Description	xvii, 384 p. : ill. ; 25 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from Springer Nature - Springer Mathematics and Statistics eBooks 2010 English International
Subjects	Logic, Symbolic and mathematical.

Series	Graduate texts in mathematics, 0072-5285 ; 53 Graduate texts in mathematics ; 53. ^A638225
Contents	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. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation -- Model theory: X. Model theory.
Review	"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.
General note	The first edition was published in 1977 with the title: A course in mathematical logic.
Bibliography note	Includes bibliographical references (p. [379]-380) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2009934521
ISBN	1441906142 (hbk.)
ISBN	9781441906144 (hbk.)
ISBN	9781441906151
ISBN	1441906150
Publisher number	12617210

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.

Click here for more information about this title