Wolfgang Schreiner.
Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
- Cham Springer 2021
9783030805074
Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing.