LOGIC FROM FOUNDATIONS TO APPLICATIONS - Wilfrid Hodges; Hodges,Wilfrid (Clarendon Press, Oxford, 1996)
Includes Bibliographical References
Keywords: Logic,Symbolic And Mathematical -- Cong