Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz
75,02 €
By Steven G. Krantz. Author Steven G. Krantz. 1 Notation and First-Order Logic. - 1.1 The Use of Connectives. - 1.2 Truth Values and Truth Tables. - 1.3 The Use of Quantifiers. - 1.4 Gödel's Completeness Theorem.
Jetzt bei Ebay:
