141- 143 of 143 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Paperback $169.99
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Hardcover $169.99
Title: A Tight, Practical Integration of Relations and Functions, Author: Harold Boley
QUICK ADD
A Tight, Practical Integration…
by Harold Boley
#1712 in Series
Paperback $54.99

Pagination Links