A Logical Introduction To Proof
A Logical Introduction To Proof
Daniel W. Cunningham
Details
OL Work ID
OL17446343W
Subjects
Proof theory
Symbolic and mathematical Logic
Find this book
Open Library