propositional

999	predicate
699	Boolean
693	axioms
692	logic
682	calculus
681	variables
679	theorem
677	analytic
664	logical
663	theorems

previous:	Propositional
next:	Propositiones
random:	hoteliere

More distant neighbors

algebraic equations semantics arithmetic semantic algebra inference mathematical rational infinite polynomial recursive formulas finite propositions arbitrary generalized predicates quantum equation negation priori algorithm formulae generalization boolean linear parameter Riemann axiom invariant matrices inverse parameters discrete syntax computation equivalence constants

Back