Liknande böcker

Mathematical logic for computer science
Bok av Mordechai Ben-Ari
Logic for computer science : foundations of automatic theorem proving
Bok av Jean H. Gallier
Handbook of logic in computer science
Bok av S Abramsky
Handbook of Logic in Computer Science: Volume 2. Background: Computation...
Bok av Dov M. Gabbay
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Computer science logic
Bok av Egon Borger
Logic for applications
Bok av Anil Nerode
What is a logical system?
Bok av Dov M. (EDT) Gabbay

Mathematical Logic for Computer Science

Bok av M. Ben-Ari