Fascinating country in the world of computing your guide to automated reasoning - Wos Larry; Pieper Gail W (Singapore World Scientific, 1999)
Keywords: Mathematical logic