Logical System gentzen 1/17/20 [This is a film-- press the 'play' symbol.] Book traversal links for Help with the Identity Rules ‹ Tutorial 2 Identity: Functional Terms and Rules of Inference Up Tutorial 3 Identity: Uniqueness, Definite Descriptions, Iota ›
