Introducción al simbolismo lógico - c1987

511.3 / G915i