000			01647n a2200361#a 4500
001			33156
003			P5A
005			20240404163634.0
008			940203s1993 pl a b 000 0 eng||
010			_a94113745
020			_a8385116923
020			_a9788385116929
035			_a(OCoLC)30516108 _z(OCoLC)29243744
035			_a(OCoLC)
040			_aDLC _cDLC _dNLGGC _dBTCTA
082	0	0	_a511.3
084			_a31.10 _2bcl
090			_acolm
245	0	0	_aAlgebraic methods in logic and in computer science/ _ceditor of the volume, Cecylia Rauszer.
260			_aWarszawa: _bPolish Academy of Sciences, Institute of Mathematics, _c1993.
300			_a342 p.: _bill.; _c24 cm.
500			_aPapers from the XXXVIII Semester organized by the Stefan Banach International Mathematical Center, and held in Warsaw, Sept. 15-Dec. 15, 1991.
504			_aIncludes bibliographical references.
650	0	0	_aAlgebraic logic. _937019
650	0	0	_aComputer science. _931745
697			_aColeções de Monografias. _923736
700	1		_aRauszer, Cecylia. _93658
710	2		_aInstytut Matematyczny (Polska Akademia Nauk). _93680
710	2		_aStefan Banach International Mathematical Center. _945016
942			_2impa _cBK
999			_aRAUSZER, Cecylia. INSTYTUT MATEMATYCZNY (POLSKA AKADEMIA NAUK). . STEFAN BANACH INTERNATIONAL MATHEMATICAL CENTER. <b> Algebraic methods in logic and in computer science. </b> Warszawa: Polish Academy of Sciences, Institute of Mathematics, 1993. 342 p. (Banach Center publications, 0137-6934 ; v. 28). ISBN 8385116923. _c32109 _d32109
490		0	_aBanach Center publications, _x0137-6934; _vv. 28 _944175