Explore
keyword: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations – 16 free books.
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
Foundations of Software Science and Computation Structures
Naoki Kobayashi and James Worrell, editors
Foundations of Software Science and Computation Structures
Naoki Kobayashi and James Worrell, editors
Peter Schroeder-Heister on Proof-Theoretic Semantics
Thomas Piecha and Kai F. Wehmeier, editors
Foundations of Software Science and Computation Structures
Patricia Bouyer and Lutz Schröder
Paul Lorenzen -- Mathematician and Logician
Gerhard Heinzmann and Gereon Wolters, editors
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)