INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
e-ISBN: 9781441906151 (e-isbn)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-4954
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A course in mathematical logic for mathematicians
General Material Designation
[Book]
First Statement of Responsibility
/ Yu. I. Manin
Subsequent Statement of Responsibility
; with new chapters by Boris Zilber and Yuri I. Manin
EDITION STATEMENT
Edition Statement
2nd ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 384 p. , ill.
SERIES
Series Title
(Graduate texts in mathematics,0072-5285
Volume Designation
; 53.)
GENERAL NOTES
Text of Note
The first edition was published in 1977 with the title: A course in mathematical logic.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. [379]-380) and index.
CONTENTS NOTE
Text of Note
Provability. Introduction to formal languages -- Truth and deducibility -- The continuum problem and forcing -- The continuum problem and constructible sets -- Computability. Recursive functions and Church's thesis -- Diophantine sets and algorithmic undecidability -- Provability and computability. Geodel's incompleteness theorem -- Recursive groups-- Constructive universe and computation -- Model theory. Model theory.
Text of Note
"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.
SERIES
Title
Graduate texts in mathematics
Volume Number
53
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
M29613
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Manin, eIiU. I.
PERSONAL NAME - SECONDARY RESPONSIBILITY
Koblitz, Neal,1948-
Zilber, Boris
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
