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

LOGIC AND STRUCTURE

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

Series: Universitext

Publisher : Springer-Verlag - Berlin ; New York

Bibliographic :

DESCRIPTION:

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.

CONTENTS:

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

BOOK CATEGORY: Textbook, introductory


Back Top Changed 04/11/1996. Comments: monika@cs.ioc.ee