00900nam|a2200181 i 450000500170000000800410001703500150005805000230007311100810009624502080017724600300038526000530041530000110046865000430047965000580052265000490058071000890062920260818174523.0220699s1988    us      r    0000|0 eng |  a.b1080034700aQA75.5bS9574 19882 aSymposium on Logic in Computer Sciencen(3rd :d1988 :cEdinburgh, Scotland)10aProceedings :bThird Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland /csponsored by The Computer Society's Technical Committee on Mathematical Foundations of Computing30aLogic in computer science  aWashington :bIEEE Computer Society Press,c1988  a436 p. 0aElectronic data processingxCongresses 0aElectronic digital computersxProgrammingxCongresses 0aLogic, Symbolic and mathematicalxCongresses2 aIEEE Computer Society.bTechnical Committee on Mathematical Foundations of Computing