TY  - BOOK
AU  - Hugtenburg,Stefan
AU  - Yorke-Smith,Neil
ED  - Open Textbook Library
TI  - Delftse Foundations of Computation
T2  - Open textbook library
AV  - QA76 
PB  - Open Textbook Library
KW  - Computer Science
KW  - Textbooks
N1  - Chapter 1: Introduction -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond
N2  - Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming
UR  - https://open.umn.edu/opentextbooks/textbooks/644
ER  -