Liknande böcker

Many-valued logics
Bok av Leonard Bolc
Bounded Arithmetic, Propositional Logic and Complexity Theory
Bok av Jan. Krajicek
Parametric Lambda Calculus
Bok av Luca Paolini och Simona Ronchi Della Rocca
"Boolean Models and Methods in Mathematics, Computer Science, and Engine...
Bok av Yves Crama. Peter L. Hammer.
Lambda
Bok av J. Roger Hindley och Jonathan P. Seldin
Constructivism in Mathematics, Vol 2
Bok av A S Troelstra
Categorical Combinators, Sequential Algorithms, and Functional Programming
Bok av Pierre-Louis Curien
Sets, Logic and Maths for Computing
Bok av David Makinson

Categories for types

Bok av Roy L. Crole