Formal methods: An introduction to symbolic logic ... - Beth Evert W. (Dordrecht-Holland D. Reidel Pub. Co.)
Keywords: PHILOSOPHY