Post date: 20 Oct 2006
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.
Post date: 20 Oct 2006
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.