The Logical Basis for Computer Programming. Volume 2: Deductive Systems (1990)

by Z Manna, R Waldinger