LOGIC
Lecture Notes for Philosophy, Mathematics, and Computer Science
Series: Springer Undergraduate Texts in Philosophy;
-
GET 12% OFF
- Publisher's listprice EUR 80.24
-
31 341 Ft (29 849 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 3 761 Ft off)
- Discounted price 27 580 Ft (26 267 Ft + 5% VAT)
27 580 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 2
- Publisher Springer International Publishing
- Date of Publication 8 August 2026
- ISBN 9783032256690
- Binding Hardback
- No. of pages290 pages
- Size 235x155 mm
- Language English
- Illustrations XIV, 290 p. 8 illus. 700
Categories
Long description:
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.
MoreTable of Contents:
Preface.- Chapter 1. Elementary set-theoretical notions.- Chapter 2. What logic is about.- Chapter 3. Validity.- Chapter 4. Formality.- Chapter 5. The symbols of propositional logic.- Chapter 6. The language L: syntax.- Chapter 7. The language L: semantics.- Chapter 8. The system G.- Chapter 9. Derivability in G.- Chapter 10. The system S.- Chapter 11. Consistency, soundness, completeness.- Chapter 12. Computability.- Chapter 13. The symbols of predicate logic.- Chapter 14. The language Lq: syntax.- Chapter 15. The language Lq: semantics.- Chapter 16. The system Sq.- Chapter 17. Consistency, soundness, completeness.- Chapter 18. Identity.- Chapter 19. First-order theories.- Chapter 20. Theories and models.- Chapter 21. Gödel’s incompleteness theorems.- Chapter 22. Undecidability and related results.- Chapter 23. Modal propositional logic.- Chapter 24. Quantified modal logic.- Index.
More
