First-order dynamic logic - Harel, David, 1950 (Berlin ; New York : Springer-Verlag, 1979)
Includes index
Rev. version of the author's thesis, M.I.T., 1978
Includes bibliographical references and index
1
Keywords: Computer programming; Logic, Symbolic and mathematical; Recursion theory