A Machine-Assisted Proof of Gödel's Incompleteness Theorems
Bimodal set-theory-cambridge
CS172: “Computability & Complexity” Wim van Dam Soda 665 [email protected] vandam/CS172
CSE4403 3.0 & CSE6002E - Soft Computing Winter Semester, 2011 Background, Preliminaries and Applications of Fuzzy Logic.