Dale Miller Proof Theory and Logic Programming

Sponsored  This site contains affiliate links for which we may receive compensation. More information

Sponsored Proof Theory and Logic Programming : Computation as Proof Search

60.00 GBP
Price updated on: 13-06-2026 11:27:44
View product deal
Identifiers
Dimensions / Weight
Key Features