01576nam|a2200313 i 4500 20260818174518.0 210699s1180 us r 0000|0 eng | .b10798997 QA75.5 S9574 1986 Symposium on Logic in Computer Science (1986 : Cambridge, Mass.) Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science Logic in computer science Washington : IEEE Computer Society Press, 1986 383 p. Electronic data processing Congresses Electronic digital computers Programming Congresses Logic, Symbolic and mathematical Congresses IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing European Association for Theoretical Computer Science Association for Symbolic Logic ACM Special Interest Group for Automata and Computability Theory .b10798997 mngc - 121011 1 951012 m a - 0 mngc 14 Barcode : 30050003166716 CREATED : 1995-10-16 RECORD # : i11035481 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 93680 93680 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA75.5 S9574 1986 30050003166716 2026-08-18 17:45:18 1 2026-08-18 14