Logic and Structure
$271.37
- Paperback
263 pages
- Release Date
13 November 2012
Summary
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…
Book Details
| ISBN-13: | 9781447145578 |
|---|---|
| ISBN-10: | 1447145577 |
| Series: | Universitext |
| Author: | Dirk van Dalen |
| Publisher: | Springer London Ltd |
| Imprint: | Springer London Ltd |
| Format: | Paperback |
| Number of Pages: | 263 |
| Edition: | 5th |
| Release Date: | 13 November 2012 |
| Weight: | 4.22kg |
| Dimensions: | 235mm x 155mm |
You Can Find This Book In
What They're Saying
Critics Review
From the reviews of the fifth edition:
“This is the fifth edition of van Dalen’s respected and enduring logic textbook, first published in 1980. … Intended as a text for an undergraduate course in logic, this text contains considerably more material than can be covered in one semester. … this is quite a good book and is certainly a very serious contender as a text for an undergraduate course, and should be carefully looked at by anybody teaching such a course.” (Mark Hunacek, MAA Reviews, June, 2013)
About The Author
Dirk van Dalen
<P>Dirk van Dalen studied at the University of Amsterdam, where he obtained his PhD. He has taught since 1960 at Utrecht University, where he is full professor. He also taught at MIT and Oxford. His technical work is mostly in the area of intuitionistic mathematics and logic. He uses to call attention to the benefits and challenges of constructive methods. His current project is a biography of L.E.J. Brouwer and the editing of Brouwer’s correspondence.</P>
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.