LOGIC

Name: LOGIC
Price: 168.75 AUD
Availability: PreOrder

Lecture Notes for Philosophy, Mathematics, and Computer Science

By: Andrea Iacona

Write A Review

Hardcover | 27 July 2026

At a Glance

Format
Hardcover

Dimensions(cm)
23.5 x 15.5

Hardcover

$168.75

or 4 interest-free payments of $42.19 with

or

Available: 27th July 2026

Preorder. Will ship when available.

This second edition improves upon the first by offering a more detailed treatment of key topics and by expanding the set of problems and exercises. In particular, four new features deserve mention. First, the book now includes a more thorough exposition of natural deduction, explaining how derivations can be represented as trees of formulas. Second, it provides a detailed explanation of the main proof methods, illustrated with examples. Third, it offers a separate exposition of the logic of identity. Fourth, it presents a fuller treatment of modal logic, including results on consistency, soundness, and completeness. Additional changes include new examples drawn from elementary mathematics, a refined notation, and a more functional subdivision of the material, which simplifies some proofs and enhances clarity and readability. Overall, the text preserves the style of the first edition, aiming to present core ideas clearly, concisely, and with minimal distractions.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.