TY  - BOOK
AU  - Wolfgang Schreiner.
TI  - Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
SN  - 9783030805074
PY  - 2021///
CY  - Cham
PB  - Springer
KW  - Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing
UR  - https://doi.org/10.1007/978-3-030-80507-4
ER  -