Title: Derivation and counterexample
First published: 1972
Subjects: Logic, Logic, Symbolic and mathematical, Philosophy, Symbolic and mathematical Logic, Logique, Logique symbolique et mathématique
LC classification: BC51 .L35