Logic : foundation for computer science - Sperschneider V; Antoniou G (Wokingham Addison Wesley, 1991)
Keywords: Computer science