E. P. Specker

with Kochen, S. , 1975a, Logical structures arising in quantum theory, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 263-276.

with Kochen, S. , 1975b, The calculus of partial propositional functions, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 277-292.

with Kochen, S. , 1975c, The problem of hidden variables in quantum mechanics, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 293-328.

, 1975a, The logic of propositions which are not simultaneously decidable, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 135-140.