Follow the Author
Paulson, Lawrence C.
Paulson, Lawrence C.
E-books
Philosophy and Religion
Philosophy
Topics in philosophy
Philosophy: logic
Computing and Information Technology
Computer programming / software engineering
Compilers and interpreters
Computer science
Mathematical theory of computation

Author's Books

E-book
Logic and Computation
Paulson, Lawrence C.Paulson, Lawrence C.
Price
0.01 £
E-book
Isabelle/HOL
Wenzel, MarkusWenzel, Markus
Price
49.99 £