Document Type

Working Paper

Publication Date

2015

Abstract

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.

Disciplines

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

Comments

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

 
blog comments powered by Disqus