|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Dirk van DalenPublisher: Springer London Ltd Imprint: Springer London Ltd Edition: 5th ed. 2013 Dimensions: Width: 15.50cm , Height: 1.40cm , Length: 23.50cm Weight: 4.219kg ISBN: 9781447145578ISBN 10: 1447145577 Pages: 263 Publication Date: 13 November 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.ReviewsFrom 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) 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) Author InformationTab Content 6Author Website:Countries AvailableAll regions |