The Review of Metaphysics

Volume 16, Issue 2, December 1962

Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic