Derivation and counterexample
1972
Karel Lambert
Details
First published
1972
OL Work ID
OL2288460W
Subjects
Logic
Logic, Symbolic and mathematical
Philosophy
Symbolic and mathematical Logic
Logique
Logique symbolique et mathématique
Find this book
Open Library