An introduction to mathematical logic

Friendly Introduction to Mathematical Logic

178 116 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

491 98 4MB Read more

Mathematical Logic. An Introduction 9783110782011, 9783110782073, 9783110782196

217 34 4MB 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

373 84 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

172 27 5MB 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

647 101 4MB Read more

An introduction to logic programming through Prolog

1,264 173 1MB 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,518 262 4MB 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

162 80 38MB Read more

Introduction To Mathematical Logic [1 ed.] 9814343870, 9789814343879

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes

447 107 10MB Read more