An introduction to mathematical logic - Robinson, Gerson B. (London : Prentice-hall, 1969)
Keywords: Logica-sistemas de