00474nam a2200169Ia 450000500170000000800410001702000100005808200120006810000210008024500330010125000120013426000320014630000080017850500930018694200080027999900170028720241209164135.0241209s9999    xx            000 0 und d  afca13  a160/S36  aSeiffert, Helmut 0aIntroducción a la lógica  a1a. ed.  aBarcelonabEd. Herderc1977  a290  aLógica de predicados. Lógica de juntores. Lógica de cuantificadores. Silogística  yLIB  c16740d16740