Type Theory and Formal Proof By Rob Nederpelt, Herman Geuvers Hardback $178.40 Delivered in 10 - 18 days add to cart
Logical Reasoning By Fairouz Kamareddine, Rob Nederpelt Trade Paperback $64.40 Delivered in 10 - 18 days add to cart
