Get Free Shipping on orders over $79
A First Course in Logic - Mark Verus Lawson

A First Course in Logic

By: Mark Verus Lawson

Hardcover | 29 November 2018 | Edition Number 1

At a Glance

Hardcover


RRP $357.00

$306.99

14%OFF

or 4 interest-free payments of $76.75 with

 or 

Ships in 3 to 5 business days

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will?

Surprisingly little mathematics is needed to learn and understand logic (this course doesn''t involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.

Industry Reviews

In academia, basic logic is seen as both a skill that must be mastered by all, and as a topic that is hardly taught to anyone. As a skill, logic offers various techniques for evaluating the truth or the falsity of a statement. As a topic, logic offers insurance that these techniques are valid and, if possible, complete.

In his book, Mark Lawson proposes a pleasant journey in both directions. Following a tradition that dates back at least to the ancient greeks, plenty of everyday life examples are proposed throughout the book for initiating, developing, and confirming our capacity to use logic as a skill. As additional examples of logic at work, most major known facts concerning basic logic as a topic are also carefully and incrementally presented.

While a course in formal logic can easily become awfully abstract, dull, and difficult, this first course in logic is certainly not of that kind: on the contrary

-David Janin, Bordeaux INP, ENSEIRB-MATMECA


In academia, basic logic is seen as both a skill that must be mastered by all, and as a topic that is hardly taught to anyone. As a skill, logic offers various techniques for evaluating the truth or the falsity of a statement. As a topic, logic offers insurance that these techniques are valid and, if possible, complete.

In his book, Mark Lawson proposes a pleasant journey in both directions. Following a tradition that dates back at least to the ancient greeks, plenty of everyday life examples are proposed throughout the book for initiating, developing, and confirming our capacity to use logic as a skill. As additional examples of logic at work, most major known facts concerning basic logic as a topic are also carefully and incrementally presented.

While a course in formal logic can easily become awfully abstract, dull, and difficult, this first course in logic is certainly not of that kind: on the contrary

-David Janin, Bordeaux INP, ENSEIRB-MATMECA

More in Mathematics

Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Nelson VicMaths 12 Foundation Maths : 1st Edition - Sue Thomson

RRP $98.95

$89.75

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
The Art of Gathering : How We Meet and Why It Matters - Priya Parker
The Mending of Broken Bones : A Modern Guide to Classical Algebra - Paul Lockhart
Grade 4 Word Problems : Kumon Math Workbooks - KUMON PUBLISHING

RRP $16.99

$13.75

19%
OFF
Primary Mathematics : 4th Edition - Integrating Theory with Practice - Penelope Baker
Long Memory Time Series Analysis - Gnanadarsha Sanjaya Dissanayake
Long Memory Time Series Analysis - Gnanadarsha Sanjaya Dissanayake
Mathematics for Technicians : 7th Edition - Blair Alldis

RRP $94.95

$92.75

Quantitative Biology : Life from the Numbers - Gavin Conant

RRP $112.00

$97.75

13%
OFF
The Selfish Gene : 40th Anniversary Edition - Richard Dawkins

RRP $32.95

$26.75

19%
OFF