Programming with Higher-Order Logic - 9780521879408

Programming with Higher-Order Logic Miller Nadathur Hardback 9780521879408

Programming With Higher-Order Logic, Hardcover by Miller, Dale; Nadathur, Gop...

Programming with Higher-Order Logic by Dale Miller: New

Trivium - The Classical Liberal Arts of Grammar, Logic, & Rhetoric [Hardback]

Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H

VHDL for Logic Synthesis by Andrew Rushton (English) Hardcover Book