๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Problem Course in Mathematical Logic

โœ Scribed by Bilaniuk S.

Book ID
106632518
Year
1999
Tongue
English
Weight
422 KB
Edition
version 1.5
Volume
Volume 1
Category
Library
ISBN
0387900926

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 functions, the Incompleteness Theorems, and complexity theory through the P and NP. Information on availabality 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 V
A Problem Course in Mathematical Logic Volume 2
โœ Bilaniuk S. ๐Ÿ“‚ Library ๐Ÿ“… 1997 ๐ŸŒ English โš– 407 KB

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, Proposi

A course in mathematical logic
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