Topics in Modern Logic - Makinson, D C . (London : Methuen and Co. Ltd., 1973)
Keywords: Logic; T/G-Logic