Logic and Structure:

Name: Logic and Structure:
Availability: InStock
ISBN: 9781447145578

ISBN-10: 1447145577

ISBN-13: 9781447145578

Edition: 2012

Authors: Dirk Van Dalen

List price: $69.95

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $63.24

Rent eBooks

60 day rental: $32.00 Expiration date: 6/18/2024

Marketplace

4 new & used from $43.49

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $69.95
Copyright year: 2012
Publisher: Springer Verlag
Binding: Paperback
Size: 6.00" wide x 9.00" long x 0.50" tall
Weight: 0.836
Language: English