Logical Reasoning : A First Course
Fairouz Kamareddine
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
A Modern Perspective on Type Theory : From its Origins until Today
F.D. Kamareddine
Download - Immediately Available
Format: eBook (PDF)
Type Theory and Formal Proof : An Introduction
Rob Nederpelt
Download - Immediately Available
Format: eBook (EPUB)