Title: Solutions to Selected Exercises in the Logic Book
First published: 1980
Subjects: Problems, exercises, Symbolic and mathematical Logic, Predicate (Logic), Prédicat (Logique), Calcul des prédicats, Logique symbolique et mathématique