000			00683nam a2200205 a 4500
001			A30009 17019
003			dti
005			20170506185354.0
008			s1996 000 0 eng
020			_a0521576512
100	1		_aVickers, Steven.
245	1	0	_aTopology via logic / _cby Steven Vickers.
260			_aCambridge, N.Y. : _bCambridge University Press, _c1996.
300			_a200 p.
440		0	_aCambridge Tracts in Theoretical Computer Science Ser. ; No. 5.
500			_aIncludes bibliographical references and index.
500			_aContents : Affirmative and refutative assertions--Frames.
650		0	_aTopology.
650		0	_aLogic, Symbolic and mathematical.
999			_c377539 _d377539