TY  - GEN
AU  - Ponasse, Daniel
TI  - Logique mathematique: elements de base : calcul propositionnel, calcul des predicats
U1  - 510.6 
PY  - 1967///
CY  - Paris
PB  - O.C.D.L
KW  - Logica matematica
KW  - Logica propozitionala
KW  - Calcul propozitional
KW  - Logica predicativa
KW  - Calcul predicativ
N1  - Contine bibliogr. si index. - La acelasi nr. de inventar, copie xerox
ER  -