Explore
keyword: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations – 12 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
Peter Schroeder-Heister on Proof-Theoretic Semantics
Thomas Piecha and Kai F. Wehmeier, editors
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)
