Hakuluettelo:
Käännös:
implicational propositional calculus (suomeksi)
- Määritelmät:
- (lb, en, logic) A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false").
Viimeisimmät haut: implicational propositional calculus, overgo, Cartesian closed category, men of the world, buoyed, electromotive force