Enderton, Herbert B., A mathematical introduction to logic - 295 páginas Subjects--Topical Terms: Lógica simbólica y matemática LC Class. No.: QA9 / E52