Select
Explore
keyword: Mathematical Logic and Foundations – 3 free books.
Login to Fave
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
AVAILABLE!
Login to Fave
Advances in Proof-Theoretic Semantics
Thomas Piecha and Peter Schroeder-Heister
AVAILABLE!
Login to Fave