You May Like
Logic, Language, Information and Computation: 14th International Workshop, WoLLI
$67.23
View Details
Language, Proof and Logic, 2nd Edition by Barker-Plummer
$11.99
View Details
Language, Proof and Logic 2e +CD: S..., Etchemendy, Joh
$17.49
View Details
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of In
$138.50
View Details