-
Logic For Everyone - previously titled Logic For Midshipmen
Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.
Added by ruthless on 2007-01-04 00:12:33
-
Logic For Computer Science - Foundations of Automatic Theorem Proving
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Added by clownfish on 2007-01-05 06:15:14
-
A Problem Course in Mathematical Logic
This is a text for a problem-oriented course on mathematical logic and computability.
Added by clownfish on 2007-01-05 06:16:43
