000 00465nam a2200169Ia 4500
003 GCL
008 140319s9999 xx 000 0 eng d
040 _aGCL /
_cGCL
082 0 4 _a510.3
_bC L
100 1 _aCONDAMINE, MARCEL
245 1 0 _aLANGAGE LOGIQUE DEMONSTRATIONS ET VERITE MATHEMATIQUE /
_cCONDAMINE, MARCEL
260 _a[S.N] :
_bEDITIONS AGUER ،
_c1996
300 _a248 P
650 0 4 _aMATHEMATICS
650 0 4 _aMATHEMATICAL LOGIC
942 _2ddc
_cBK
999 _c16240
_d16240