Feedback

X
#1

keyword: Intuitionistic Logic – 4 free books.

-gtbg These books are not included in Project Gutenberg.

  • View As:
  • view list
  • view icon

Peter Schroeder-Heister on Proof-Theoretic Semantics

Thomas Piecha and Kai F. Wehmeier, editors

AVAILABLE!
Book cover
Thomas Piecha and Kai F. Wehmeier, editors

Inquisitive Logic

Ivano Ciardelli

AVAILABLE!
Book cover
Ivano Ciardelli

Deductive Systems in Traditional and Modern Logic

Urszula Wybraniec-Skardowska and Alex Citkin, editors

AVAILABLE!
Book cover
Urszula Wybraniec-Skardowska and Alex Citkin, editors
AVAILABLE!
Book cover