Übersicht			Auf mobile öffnen

Lieferstatus:	Vorankündigung
Veröffentlichung:	ANGEKÜNDIGT (August 2026)
Genre:	Philosophie
	Completeness theorem / first-order logic / Logical consequence / Mathematical Logic and Foundations / Mathematical Logic in Philosophy / Mathematik# Logik / modal logic / Philosophical Logic / Philosophy of Language / Predicate logic / Propositional Logic / Sprachphilosophie mehr...
ISBN:	9783032256690
EAN-Code:	9783032256690
Verlag:	Springer International Publishing
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	290
Illustration:	XIV, 290 p. 8 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Keine Bewertung vor Veröffentlichung möglich.

Inhalt:

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.