Home  
Authors  
Lawrence C. Paulson  
Books
for weekly updates & specials by email

Books by Lawrence C. Paulson

1 to 3 of 3 Results
Sort:
Logic and Computation by Lawrence C. Paulson
$167.00
Logic and Computation
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Isabelle/HOL by Tobias Nipkow
$160.00
Isabelle/HOL
by Tobias Nipkow ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Isabelle by Lawrence C. Paulson
$150.00
Isabelle
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks