TY - BOOK AU - Mates,Benson TI - Elementare Logik: (Prädikatenlogik der ersten Stufe) T2 - Moderne Mathematik in elementarer Darstellung SN - 3525405413 PY - 1978/// CY - Göttingen PB - Vandenhoeck & Ruprecht KW - Logica matematica KW - sbaa KW - Matematica N1 - Bibliografia e indice ER -