Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore

0 Item

Intermediate Logic - David Bostock

Intermediate Logic

By: David Bostock

Paperback | 1 September 1997

At a Glance

Paperback

$80.91

or 4 interest-free payments of $20.23 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches. In the first section, Bostock covers such fundamental notions as truth, validity, entailment, quantification, and decision procedures. Part two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moving from orthodox logic to examination of `free logic'. Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic.
Industry Reviews

This textbook covers the fundamental proof-theoretical and model-theoretical aspects of classical propositional and first-order logic. . . .The book is clearly written and ideally suited for an intermediate course on the subject, requiring just some elementary knowledge of proof theory and model theory. --Mathematical Reviews


You Can Find This Book In

Non-FictionPhilosophyPhilosophy & LogicMathematicsMathematical FoundationSet TheoryMathematical Logic

More in Philosophy & Logic

Rationality : What It Is, Why It Seems Scarce, Why It Matters - Steven Pinker

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Paperback

RRP $24.99

$21.75

13%
OFF
New Essays on Normative Realism - Paul Boghossian

New Essays on Normative Realism

Hardcover

$521.25

Teaching as Radical Logic : Dialectic, Analectic, and Education - Noah De Lissovoy

Teaching as Radical Logic

Dialectic, Analectic, and Education

Hardcover

RRP $189.00

$170.25

10%
OFF
Metaphysics of Nature and Failure in Kant's Opus postumum - Terrence Thomson

Metaphysics of Nature and Failure in Kant's Opus postumum

Hardcover

RRP $170.00

$141.40

17%
OFF
Straight and Crooked Thinking - Robert Henry Thouless

Straight and Crooked Thinking

Paperback

RRP $29.99

$24.90

17%
OFF
Aristotle's Organon in Old and New Logic : 1800-1950 - Colin Guthrie King

Aristotle's Organon in Old and New Logic

1800-1950

Hardcover

RRP $170.00

$141.35

17%
OFF
Experiential Realism : Routledge Revivals - A.H. Johnson

Experiential Realism

Routledge Revivals

Hardcover

RRP $242.00

$201.25

17%
OFF
The Concept of Holiness : Routledge Revivals - O.R. Jones

The Concept of Holiness

Routledge Revivals

Hardcover

RRP $189.00

$157.25

17%
OFF
New Essays on Normative Realism - Paul Boghossian

New Essays on Normative Realism

Paperback

$119.25

Logic and Criticism : Routledge Revivals - William Righter

Logic and Criticism

Routledge Revivals

Hardcover

$265.50

Naming and Necessity : 50th Anniversary Edition - Saul A. Kripke

Naming and Necessity

50th Anniversary Edition

Paperback

RRP $52.95

$40.75

23%
OFF
Inductive Probability : Routledge Revivals - J. P. Day

Inductive Probability

Routledge Revivals

Hardcover

RRP $231.00

$192.25

17%
OFF

This product is categorised by