An introduction to mathematical logic

Friendly Introduction to Mathematical Logic

347 158 8MB Read more

Mathematical Logic: An Introduction 3110782014, 9783110782011

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In p

552 109 4MB Read more

An Introduction to Mathematical Logic [1 ed.] 0134874625, 9780134874623

This text was developed for a course at the upper-sophomore or junior level within the mathematics curriculum. It is int

249 43 5MB Read more

Mathematical Logic: An Introduction 9783110782073, 3110782073

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In par

453 96 4MB Read more

Mathematical Logic. An Introduction 9783110782011, 9783110782073, 9783110782196

314 67 4MB Read more

An Introduction to Symbolic Logic

Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introd

822 136 4MB Read more

An Introduction to Description Logic 9781139025355

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that

1,663 294 4MB Read more

An Introduction to Foundational Logic 9780976037095, 0976037092

Description This is the latest in the series by D.Q. McInerny, professor of Philosophy at Our Lady of Guadalupe Seminar

1,888 266 40MB Read more

An introduction to logic programming through Prolog

1,346 193 1MB Read more

Introduction to Mathematical Logic (PMS-13), Volume 13 9781400881451

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individ

203 84 38MB Read more