Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia; Zbierski, Pawel (New York : John Wiley & Sons. Inc., 1997)
p. 254-256.
1
Keywords: Logic, Symbolic and mathematical