Fundamentals of logic - Smullyan, Arthur (New Jersey Prentice-Hall, 1962)
Keywords: Matematica; Logica