Computaional logic handbook - Boyer R S; Moore J S (Boston Academic Press, 1988)
Keywords: Mathematical logic