Introduction to elementary Mathematical Logic - Stolyar A A (London M I T Press, 1970)
Keywords: Mathematical Logic; Symbolic