Modern logic and quantum mechanics - Garden, Rachel W. (Hilger, 1984)