MATHEMATICS -- Pre-Calculus.

Lambda-calculus.

Lambda calculus.

Elements of mathematical logic -- Engineering applications of propositional calculus -- Finite

Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Elimination of

General introduction -- Tools from logic -- Differential and integral calculus -- General topology

solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi

validity of formulas of the predicate calculus of first order including equality -- Solution of the

and Models -- A Parsing Algorithm -- A Deductive Calculus -- Soundness and Completeness Theorems

on the Algebra of Relatives: 1883 -- 6. Peirce's Logic of Quantifiers: 1885 -- 7. Schröder's Calculus

for producing reduction types in the restricted lower predicate calculus / H. Hermes, D. Rödding

of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i