A collection of notes, formulas, theorems, postulates and terminology in symbolic logic, syntactic notions, semantic notions, linkages between syntax and semantics, soundness and completeness, quantified logic, first-order theories, Goedel's First Incompleteness Theorem and more.
Artificial Intelligence and Robotics | Computer Sciences | Databases and Information Systems | Graphics and Human Computer Interfaces | Information Security | Other Computer Sciences | Programming Languages and Compilers | Systems Architecture | Theory and Algorithms
Perugini, Saverio, "Metalogic Notes" (2015). Computer Science Working Papers. 1.
Artificial Intelligence and Robotics Commons, Databases and Information Systems Commons, Graphics and Human Computer Interfaces Commons, Information Security Commons, Other Computer Sciences Commons, Programming Languages and Compilers Commons, Systems Architecture Commons, Theory and Algorithms Commons