Logic and Structure

Logic and Structure by Dirk van Dalen.

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 precise...

Full description

Saved in:
Bibliographic Details
Main Author: Dalen, Dirk van (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1983.
Edition:2nd ed. 1983.
Series:Universitext,
Springer eBook Collection.
Subjects:
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 0. Introduction
  • 1. Propositional Logic
  • 2. Predicate Logic
  • 3. Completeness and Applications
  • 4. Second-Order Logic
  • 5. Intuitionistic Logic
  • 6. Appendix
  • 7. Bibliography
  • 8. Gothic Alphabet
  • 9. Index.

Similar Items