Logic and Structure, 9781447145578
Paperback
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. The discussion of classical logic is concluded with a concise exposition…

Logic and Structure

$271.37

  • Paperback

    263 pages

  • Release Date

    13 November 2012

Check Delivery Options

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
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.