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

A First Course in Logic

By: Mark Verus Lawson

Paperback | 29 November 2018 | Edition Number 1

At a Glance

Paperback


RRP $139.00

$125.75

10%OFF

or 4 interest-free payments of $31.44 with

 or 

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

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 Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Essays in Analysis : Routledge Revivals - Alice Ambrose
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75