Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective
123,08 €
I. Purely Implicational Logic. Deduction-Theoretic Approach. Semantic Approach. Axiomatic Approach. Full Sentential Logic. Introduction of Further Sentential Connectives. Theory of Quantification, Equality, and Functionality.
Jetzt bei Ebay: