Normal view MARC view ISBD view

A course in mathematical logic for mathematicians/ Yu. I. Manin

By: Manin, Yu. IMaterial type: Text

TextSeries: (Graduate texts in mathematics) ; 53Publication details: New York: Springer, c2010Edition: 2nd edDescription: xvii, 384 p. : ill. ; 25 cmISBN: 1441906142Subject(s): Logic | Model theory | Proof theory | MathematicsDDC classification: 511.3

Contents:

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 Godel's incompleteness theorem -- Recursive groups-- Constructive universe and computation -- Model theory.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
General Books	Central Library, Sikkim University General Book Section	511.3 MAN/C (Browse shelf(Opens below))	Available		P25298

Total holds: 0

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
Godel's incompleteness theorem --
Recursive groups--
Constructive universe and computation --
Model theory.

There are no comments on this title.

to post a comment.