Title: The Mathematical Analysis of Logic (Key Texts)
First published: October 1998
Subjects: Logic, symbolic and mathematical