000 00625 a2200205 4500
035 _a
082 _a510.6
090 _c3431
_d3431
100 _aPonasse, Daniel
245 _aLogique mathematique
_belements de base : calcul propositionnel, calcul des predicats
_cDaniel Ponasse
260 _aParis
_bO.C.D.L
_c1967
300 _a164 p
_c22 cm
500 _aContine bibliogr. si index. - La acelasi nr. de inventar, copie xerox
650 _aLogica matematica
650 _aLogica propozitionala
650 _aCalcul propozitional
650 _aLogica predicativa
650 _aCalcul predicativ
942 _aIMAR
_cCART
999 _c3310
_d3310