Liknande böcker

Topology via Logic
Bok av Steven Vickers
Proceedings Of The Sixth Asian Logic Conference
Bok av CHONG CHI TAT ET AL
Finite Automata, Formal Logic, and Circuit Complexity by Howard Straubing
Bok av Howard. author. Straubing
Computer Science Logic : 11th International Workshop, CSL'97, Annual Con...
Bok av Mogens Nielsen
Computability and Randomness
Bok av André. Nies
Twenty Five Years of Constructive Type Theory
Bok av Giovanni Sambin Jan M. Smith
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Isabelle
Bok av Lawrence C. Paulson

Gdel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gdel's Legacy

Bok av Petr Hjek