Logic and Structure /

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

Full description

Bibliographic Details

Main Author:	Dalen, Dirk
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1980.
Series:	Universitext,
Subjects:	Mathematics. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book