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

LOGIC AND STRUCTURE

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

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