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

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