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 : **

- Softcover 325g (acid-free)
- ISBN: 3-540-57839-0
- 3rd, augmented ed. © 1994
- viii, 215 p. : ill. ; 24 cm.
- Dewey No.: 511.3 20

- Logic, Symbolic and mathematical.
- M13100 Logic,Foundations,Set Theory

**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

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