Lambert M. Surhone (u. a.) | Deduction Theorem | Taschenbuch | Englisch
29,95 €
Taschenbuch vonLambert M. Surhone (u. a.). It is a formalization of the common proof technique in which an implication A B is proved by assuming A and then proving B from this [.] deduction theorem holds for all first-order theories with the usual deductive systems for first-order logic.
Jetzt bei Ebay:
