Natural deduction
Natural deduction
John Mueller Anderson
Details
OL Work ID
OL6808650W
Subjects
Metamathematics
Symbolic and mathematical Logic
Axiom
Logik
Find this book
Open Library