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 Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style...

Full description

Bibliographic Details
Main Author: Dalen, Dirk van (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2013.
Edition:5th ed. 2013.
Series:Universitext,
Subjects:
Online Access:Full Text via HEAL-Link

Similar Items