Logic And Structure

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 Goedel's famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.

• | By (Author): Dirk Van Dalen
• | Publisher: Springer London Ltd
• | Publication Date: Nov 13, 2012
• | Country of Publication: United Kingdom
• | Number of Pages: 263 pages
• | Language: Unknown
• | Binding: Softback
• | ISBN-10: 1447145577
• | ISBN-13: 9781447145578