An introduction to mathematical logic

Friendly Introduction to Mathematical Logic

184 117 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

493 99 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

180 28 5MB Read more

Mathematical Logic. An Introduction 9783110782011, 9783110782073, 9783110782196

221 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

379 85 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

658 101 4MB Read more

An introduction to logic programming through Prolog

1,267 174 1MB 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,785 252 40MB 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,527 265 4MB Read more

Symbolic logic: an introduction

1,527 155 3MB Read more