Logic and Structure

✍ Scribed by Dirk van Dalen

Publisher: Springer
Year: 1994
Tongue: English
Leaves: 111
Series: Universitext
Edition: 3rd
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary

📜 SIMILAR VOLUMES

Logic and Structure

📁 Logic and Structure

✍ Dirk van Dalen 📂 Library 📅 2004 🏛 Springer 🌐 English

New corrected printing of a well-established text on logic at the introductory level. A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Pro

Logic and Structure

📁 Logic and Structure

✍ Dirk van Dalen 📂 Library 📅 1980 🏛 Springer 🌐 English

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but prec

Logic and Structure

📁 Logic and Structure

✍ Dirk van Dalen 📂 Library 📅 2013 🏛 Springer 🌐 English

Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in a

Logic and Structure

📁 Logic and Structure

✍ Dirk van Dalen 📂 Library 📅 1983 🏛 Springer 🌐 English

Logic and structure

📁 Logic and structure

✍ van Dalen, Dirk 📂 Library 📅 2013 🏛 Springer London 🌐 English

Logic and structure

📁 Logic and structure

✍ Dalen, Dirk 📂 Library 📅 2004 🏛 Springer-Verlag 🌐 English