| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Proof patternsby Mark Joshi. |
| Author: |
Joshi, Mark. |
| Published: |
Cham :Springer International Publishing :2015. |
| Description: |
xiii, 190 p. :ill., digital ;24 cm. |
| Contained By: |
Springer eBooks |
| Subject: |
Proof theory. |
| Online resource: |
http://dx.doi.org/10.1007/978-3-319-16250-8 |
| ISBN: |
9783319162508 (electronic bk.) |