8.6 First order theories

Page 346 of 800

Search internet

8.6.1 The FOL tactic
8.6.2 A complete set of connectives
8.6.3 Lemma 3.2a'
8.6.4 Line L01 of 3.2a'
8.6.5 Line L02 of 3.2a'
8.6.6 Line L03 of 3.2a'
8.6.7 Hypothetical reasoning

Page 346 of 800

Search logiweb.eu