Logic and Structure
Dirk van Dalen<U+0019>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 Gd̲el<U+0019>s famous incompleteness theorem. Propositional and predicate logic are presente...
Main Author: | Dalen, Dirk. (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic |
Language: | English |
Published: |
London :
Springer London : Imprint: Springer,
2013.
|
Edition: | 5th ed. 2013. |
Series: | Universitext,
|
Subjects: | |
Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4471-4558-5 |
Similar Items
-
Statistics for engineers and scientists /
by: Navidi, William Cyrus,
Published: (2020) -
Bird's engineering mathematics /
by: Bird, J. O.,
Published: (2021) -
A Course in Mathematical Logic for Mathematicians
by: Manin, Yu. I.
Published: (2010) -
Mathematical Logic Foundations for Information Science /
by: Li, Wei.
Published: (2010) -
Logic for Concurrency and Synchronisation
Published: (2003)