Logic and Structure:
List Price: $69.95
Publisher: Springer Verlag
Binding: Trade Paper
Size: 6.00" wide x 9.00" long x 0.50" tall
Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gï¿½del's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Lï¿½wenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic More...
100% Money Back Guarantee: Wrong item? No problem! Our hassle-free
returns policy has you covered.
We'll also process your order within 1-2 business days. Learn more about our