✦ LIBER ✦

A Problem Course in Mathematical Logic Volume 2

✍ Scribed by Bilaniuk S.

Book ID: 127398347
Year: 1997
Tongue: English
Weight: 407 KB
Edition: version 1.3
Category: Library
ISBN-13: 9780394745022

No coin nor oath required. For personal study only.

✦ Synopsis

This is the Volume II of a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of computability, using Turing machines and recursive functions, and Goedel's Incompleteness Theorem, and could be used for a one semester course on these topics. Volume I, Propositional and First-Order Logic, covers the basics of these topics through the Soundness, Completeness, and Compactness Theorems. Information on availability and the conditions under which this book may be used and reproduced are given in the preface.

📜 SIMILAR VOLUMES

A Problem Course in Mathematical Logic

✍ Bilaniuk S. 📂 Library 📅 1999 🌐 English ⚖ 422 KB

This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositionaland first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive f

A course in mathematical logic

✍ John Bell, Moshe Machover 📂 Library 📅 1977 🏛 North-Holland 🌐 English ⚖ 5 MB

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

A Course in Mathematical Logic for Mathe

A Course in Mathematical Logic for Mathematicians

✍ Yu. I. Manin (auth.) 📂 Library 📅 2010 🏛 Springer 🌐 English ⚖ 4 MB

*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 proo

[Universitext] A Course on Mathematical

[Universitext] A Course on Mathematical Logic || Propositional Logic

✍ Srivastava, Shashi Mohan 📂 Article 📅 2012 🏛 Springer New York ⚖ 172 KB

[International Mathematical Series] Math

[International Mathematical Series] Mathematical Problems from Applied Logic I Volume 4 || Open Problems in Logical Dynamics

✍ Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael 📂 Article 📅 2006 🏛 Springer New York 🌐 English ⚖ 423 KB

This is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book includes contributions concerning the role of logic to

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science Volume 2 || Temporal Logic: A Deductive System

✍ Ben-Ari, Mordechai 📂 Article 📅 2012 🏛 Springer London 🌐 English ⚖ 211 KB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to under