Liknande böcker

Introduction to mathematics of satisfiability
Bok av V. W. Marek
Automata and Computability
Bok av Dexter C Kozen
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
Computer science logic : 13th international workshop CSL'99
Computer Science Logic : 11th International Workshop, CSL'97, Annual Con...
Bok av Mogens Nielsen
Computer science logic
Bok av Egon Borger
What is a logical system?
Bok av Dov M. (EDT) Gabbay

Theory of Recursive Functions and Effective Computability

Bok av Hartley Rogers
(Reprint of the 1967 edition)