A Course on Mathematical Logic

by

Write The First Customer Review

This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel.

A Course on Mathematical Logic 2013, Springer

ISBN-13: 9781461457459

2nd 2013 edition

Trade paperback

Select
A Course on Mathematical Logic 2008, Springer, New York, NY

ISBN-13: 9780387762753

Trade paperback

Select