An Introduction to Many-valued Logics
Robert Ackermann
Download - Immediately Available
Format: eBook (PDF)
An Introduction to Many-valued Logics
Robert Ackermann
Download - Immediately Available
Format: eBook (EPUB)
The Proof is in the Pudding : The Changing Nature of Mathematical Proof
Steven G. Krantz
Download - Immediately Available
Format: eBook (PDF)
Handbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz
Download - Immediately Available
Format: eBook (PDF)