Document Type

Working Paper

Publication Date



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


Copyright (c) 2015, Saverio Perugini. All rights reserved. Please provide feedback in the comments section of this page.

blog comments powered by Disqus