Logic and Structure. Second Edition

Dalen, Dirk van -

ISBN 10: 354012831X / ISBN 13: 9783540128311

Published by Berlin ; New York: Springer (Universitext), 1983

About this Item

Formateinband: Broschierte Ausgabe X, 207 S. (24,5 cm) 2nd Edition; Minimaler blasser Fleck am Vorderdeckel; Papier gebräunt; sonst gut erhalten. Sprache: Englisch Gewicht in Gramm: 490 [Stichwörter: Propositional Logic, Predicate logic, Completeness and applications, Second-order-logic, Intuitionistic logic].

Seller Inventory # 61878

Bibliographic Details

• Title: Logic and Structure. Second Edition
• Publisher: Berlin ; New York: Springer (Universitext)
• Publication Date: 1983
• Language: English
• ISBN 10: 354012831X
• ISBN 13: 9783540128311
• Binding: Soft cover
• Edition: 2nd Edition
• Condition: Gut
• Weight: 490 grams
• Seller catalogs:
  • Mathematik

About this title

Synopsis

from a Customer's Review: This book is an introductory treatment of mathematical logic, written entirely from the perspective of GENTZEN natural deduction. Standard texts are written from the viewpoint of Hilbert axiomatics or from (an alternative from Gentzen) natural deduction. Thus, for one wanting any discussion of the Gentzen calculus ND this book is the only full, start from scratch, treatment that I know of. Note, however, that the Gentzen sequent calculus is NOT discussed.