Explore
keyword: Mathematical Logic and Foundations – 3 free books.
These books are not included in Project Gutenberg.
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