Skip to main content
Navigation Icons in the header
SoftOption ®
Breadcrumb
Home
Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
Tutorial 2 Identity: Functional Terms and Rules of Inference
Help with the Identity Rules
Logical System
gentzen
1/17/20
[This is a film-- press the 'play' symbol.]
