𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

A course in mathematical logic for mathematicians

✍ Scribed by Koblitz, Neal; Zilber, Boris; Manin Yu.I.

Publisher
Springer
Year
2010
Tongue
English
Leaves
384
Series
Graduate texts in mathematics 53
Edition
2nd ed
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Content: 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.

✦ Subjects

Matematik

πŸ“œ SIMILAR VOLUMES

A Course in Mathematical Logic for Mathe
πŸ“ A Course in Mathematical Logic for Mathematicians
✍ Yu. I. Manin πŸ“‚ Library πŸ“… 2010 πŸ› Springer 🌐 English

<p><P><EM>A Course in Mathematical Logic for Mathematicians, Second Edition</EM> 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 discu

A Course in Mathematical Logic for Mathe
πŸ“ A Course in Mathematical Logic for Mathematicians
✍ Yu. I. Manin, B. Zilber πŸ“‚ Library πŸ“… 2009 πŸ› Springer Science & Business Media 🌐 English

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acqu