A logical introduction to proof /

Bibliographic Details
Main Author: Cunningham, Daniel W.
Format: Book
Language:English
Published: New York : Springer, 2013.
Subjects: