511.3
Ass
E
Asser, Günter
Einführung in die mathematische Logik
(Ficha 2)	
Contiene: pt. 1. Aussagenkalkül.-pt. 2. Prädikatenkalkül 
der ersten Stufe.-pt. 3 Prädikatenlogik höherer Stufe.