Kozen, Dexter. Ed.
Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995 - USA IEEE Computer Society 1995 - 518p
0 8186 7050 9
Logic in Computer Science
681.3 KOZ
Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995 - USA IEEE Computer Society 1995 - 518p
0 8186 7050 9
Logic in Computer Science
681.3 KOZ