Ruth C. Barcan. A functional calculus of first order based on strict implication. The journal of symbolic logic, vol. 11 (1946), pp. 1–16.

W. V. Quine

https://doi.org/10.2307/2266766

Copy DOI

Journal: The Journal of Symbolic Logic	Publication Date: Sep 1, 1946
Citations: 3

Abstract

Ruth C. Barcan. A functional calculus of first order based on strict implication. The journal of symbolic logic, vol. 11 (1946), pp. 1–16.

Full Text

Paper version not known

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Paper Title

Journal

Date

Author