Explore
keyword: Intuitionistic Logic – 4 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.
Peter Schroeder-Heister on Proof-Theoretic Semantics
Thomas Piecha and Kai F. Wehmeier, editors
AVAILABLE!
Login to Fave
Deductive Systems in Traditional and Modern Logic
Urszula Wybraniec-Skardowska and Alex Citkin, editors
AVAILABLE!
Login to Fave
Login to Fave