Description: Propositional and predicate calculus; the Godel completeness and compactness theorems; primitive recursive and recursive functions; the Godel incompleteness theorem; Tarski's theorem; ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback