INITIATIVES IN LOGIC - Srzednicki, Jan (Dordrecht Martinus Nijhoff, 1987)
Keywords: Logic, Symbolic And Mathematical