Back TTU Subject Area: CS Basics (Logics, Discrete Mathematics) in CIDEC Library.


Dirk van DALEN, 1932- , Utrecht University, Utrecht, The Netherlands

Series: Universitext

Publisher : Springer-Verlag - Berlin ; New York

Bibliographic :


A book which efficiently presents the basics of classical and constructive propositional and predicate logic. It contains a complete treatment of elementary classical logic on the basis of Gentzen's Natural Deduction and the traditional two-valued semantics, culminating in the completeness theorems and normal form theorems. The material is illustrated by a choice of exercises, ranging from simple applications of the definitions to the more sophisticated problems. Only minimal background knowledge in mathematics is demanded of the reader.


Includes bibliographical references (p. [211]) and index.

BOOK CATEGORY: Textbook, introductory

Back Top Changed 04/11/1996. Comments: