Ruth C. Barcan
Author
Alternate name Ruth C. Barcan
Institution Yale University
Past institution Yale University
H-index: 4
I10-index: 4
Works count: 4
Citations count: 810
A Functional calculus of first order based on strict implication
1946 · Ruth C. Barcan · Journal of Symbolic Logic
The identity of individuals in a strict functional calculus of second order
1947 · Ruth C. Barcan · Journal of Symbolic Logic
The deduction theorem in a functional calculus of first order based on strict implication
1946 · Ruth C. Barcan · Journal of Symbolic Logic