8.2 Definition of theories

Page 303 of 800

Search internet

8.2.1 Metavariables
8.2.2 Metaoperators
8.2.3 Statements
8.2.4 Axioms, rules, theories, and lemmas
8.2.5 Side conditions

Page 303 of 800

Search logiweb.eu