4 results
Arthur Francis Smullyan. Modality and description. The journal of symbolic logic, vol. 13 (1948), pp. 31–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- December 1948
-
- Article
- Export citation
The identity of individuals in a strict functional calculus of second order
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 1 / March 1947
- Published online by Cambridge University Press:
- 12 March 2014, pp. 12-15
- Print publication:
- March 1947
-
- Article
- Export citation
The deduction theorem in a functional calculus of first order based on strict implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 11 / Issue 4 / December 1946
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-118
- Print publication:
- December 1946
-
- Article
- Export citation
A Functional calculus of first order based on strict implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 11 / Issue 1 / March 1946
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-16
- Print publication:
- March 1946
-
- Article
- Export citation