000			00489pam a2200157a 44500
082			_a510.01 _bP833r
100			_aPorte, Jean
245	1		_aRECHERCHES SUR LA THEORIE GENERALE DES SYSTEMES FORMELS ET SUR LES SYSTEMES CONNECTIFS
260			_aParis _bGauthier-Villars _c1965
300			_avi,146
440			_aCollection De Logique Mathematique, Ser.A, 18 _v
500			_aBibliography : P. 125-137
650			_aLogic, Symbolic And Mathematical
964			_gCIRC
997			_aK997 C
999			_c385219 _d385219