Logic: A Foundation for Computer Science (1991)

by V Sperschneider, G Antoniou