Narrow These Results

 
Adapting Proofs-As-Programs: The Curry-Howard Protocol
 
Adapting Proofs-As-Programs: The Curry-Howard Protocol
by John N. Crossley, M. Wirsing, Iman Hafiz Poernomo
No user ratings
$40 to $116
Compare Prices
at 4 Sellers
Logical Methods
 
Logical Methods
by John N. Crossley
No user ratings [rate this item]
$25.30
Go to Store