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

A course in mathematical logic

โœ Scribed by John Bell, Moshe Machover

Book ID
127454442
Publisher
North-Holland
Year
1977
Tongue
English
Weight
5 MB
Edition
4th repr. 1997
Category
Library
City
Amsterdam :, New York
ISBN-13
9780720428445

No coin nor oath required. For personal study only.

โœฆ Synopsis

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.

๐Ÿ“œ SIMILAR VOLUMES

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

A Problem Course in Mathematical Logic
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 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