First Order Logic and Induction | part of Algebraic Semantics of Imperative Programs | MIT Press books | IEEE Xplore