A course in mathematical logic for mathematicians/ Yu. I. Manin
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
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.
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
Central Library, Sikkim University General Book Section | 511.3 MAN/C (Browse shelf(Opens below)) | Available | P25298 |
Total holds: 0
Browsing Central Library, Sikkim University shelves, Shelving location: General Book Section Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 GIN/A Algebraic logic / | 511.3 KOZ/A Automata and Computability, Undergraduate Texts in Computer Science. | 511.3 LEW/E Elements of the Theory of Computation, | 511.3 MAN/C A course in mathematical logic for mathematicians/ | 511.3 MON/M Mathematical logic/ | 511.3 MOS/L Logic from Computer Science/ | 511.3 SRI/C A Course on Mathematical Logic/ |
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.