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

Fundamentals of Mathematical Logic /

by Hinman, Peter G.
Published 2005

Connect to the full text of this electronic book

eBook

Fundamentals of mathematical logic /

by Hinman, Peter G.
Published 2005

Book