Yuri Gurevich | Bookhype

Dec 31, 1996

Cover of The Classical Decision Problem

The Classical Decision Problem (Perspectives in Mathematical Logic) (Universitext)

Aug 1, 1994

Cover of Computer Science Logic

Computer Science Logic (Lecture Notes in Computer Science, #832)

Sep 10, 1993

Cover of Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Jun 1, 1993

Cover of Current Trends In Theoretical Computer Science: Essays And Tutorials

Current Trends In Theoretical Computer Science: Essays And Tutorials (World Scientific Series In Computer Science, #40)