Introduction to mathematical logic [mendelson] - Mendelson, Elliott (Princeton : D. Van Nostrand, 1964)
Keywords: Logica-sistemas de