Logic and structure /

A book which efficiently presents the basics of propositional and predicate logic, van Dalens popular textbook contains a complete treatment of elementary classical logic, using Gentzens Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise w...

Full description

Bibliographic Details

Main Author:	Dalen, D. van (Dirk), 1932-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1983]
Edition:	2nd ed., corr. 2nd print.
Series:	Universitext
Subjects:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. Mathematische Logik. Electronic books.
Online Access:	Connect to the full text of this electronic book