Logic techniques of formal reasoning - Kalish, Donald; Montague, Richard (New York : Harcourt, 1964)
p. 341-345
1
Keywords: Logic