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.