Ponasse, Daniel
Logique mathematique elements de base : calcul propositionnel, calcul des predicats
Daniel Ponasse
- Paris O.C.D.L 1967
- 164 p 22 cm
Contine bibliogr. si index. - La acelasi nr. de inventar, copie xerox
Logica matematica
Logica propozitionala
Calcul propozitional
Logica predicativa
Calcul predicativ
510.6