Logiweb(TM)

8.2 Definition of theories

Prev Up Next 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

Prev Up Next Page 303 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05