Classical First-Order Logic
Classical First-Order Logic
Teresa Kouri Kissel
,
Stewart Shapiro
Details
OL Work ID
OL27086116W
Subjects
First-order logic
Symbolic and mathematical Logic
Find this book
Open Library