Building Proofs
Building Proofs
Suely Oliveira
,
David E. Stewart
Details
OL Work ID
OL25351293W
Subjects
Proof theory
Logic, symbolic and mathematical
Mathematics
Find this book
Open Library