Proofs, Search and Computation in General Logic
Proofs, Search and Computation in General Logic
David J. Pym
Details
OL Work ID
OL8013394W
Find this book
Goodreads
Open Library