set theory

Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]

Topic
derivations
identity
semantics
set theory
symbolization
predicate
propositional
Logical System
gentzen
12/19/20

Welcome!

The tutorials presented here look at some topics in logic to the level of intermediate to advanced Predicate Calculus. They build on the Tutorials of Easy Deriver which provided the introductory material to Propositional and Predicate Calculus.

The program, widgets, or Notes, should be accompanied by a suitable textbook, such as:

Subscribe to set theory