A Logical Introduction to Proof

Författare
Daniel W. Cunningham
(Daniel W. Cunningham.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer New York, Imprint: Springer 2013 USA, New York, NY XV, 356 sidor. 145 illus. digital. 978-1-4614-3631-7