Fundamentals of mathematical logic /

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of...

Full description

Bibliographic Details
Main Author:	Hinman, Peter G.
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	Wellesley, Mass. : A K Peters, ©2005.
Subjects:	Logic, Symbolic and mathematical. Model theory. Set theory. Recursion theory. Logique symbolique et mathématique. Théorie des modèles. Théorie des ensembles. Théorie de la récursivité. MATHEMATICS > General. Logic, Symbolic and mathematical Model theory Recursion theory Set theory Mathematische Logik Wiskundige logica. Lógica matemática (textos avançados) Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Summary:	This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops atudents' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
Physical Description:	1 online resource (xvi, 878 pages) : illustrations
Bibliography:	Includes bibliographical references (pages 821-828) and indexes.
ISBN:	9781315275536 1315275538 9781439864272 1439864276