Theory of formal systems - Smullyan, R.M. (Priceton PUP, 1996)
Keywords: MATHEMATICS; THEORY OF FUNCTION; FUNCTION THEORY