𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Logic and structure

✍ Scribed by Dalen, Dirk

Publisher
Springer-Verlag
Year
2004
Tongue
English
Leaves
280
Series
Universitext
Edition
4th ed., corrected 2nd. print
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Logic, Symbolic and mathematical

πŸ“œ SIMILAR VOLUMES

Logic and Structure
πŸ“ Logic and Structure
✍ Dirk van Dalen πŸ“‚ Library πŸ“… 1994 πŸ› Springer 🌐 English

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 element

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

<P>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

<p><p>Dirk van Dalen’s popular textbook <i>Logic and Structure</i>, 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. </p><p>Propositional and predicate logic are presented in a