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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number	Status	Get It
Call Number:		QA9 .H527 2005

QA9 .H527 2005	Available