Title: First-order dynamic logic
First published: 1979
Subjects: Computer programming, Logic, Symbolic and mathematical, Recursion theory, Symbolic and mathematical Logic
LC classification: QA76.6 .H34 1979