Feedback

X
#1

keyword: Mathematical Logic and Formal Languages – 4 free books.

doab 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.

  • View As:
  • view list
  • view icon

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 28
André Platzer and Geoff Sutcliffe, editors
No Faves
Read it Now

Graph Structures for Knowledge Representation and Reasoning

Michael Cochez et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Graph Structures for Knowledge Representation and Reasoning
Michael Cochez et al. (editors)
No Faves
Read it Now

Foundations of Software Science and Computation Structures

Stefan Kiefer and Christine Tasson, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Stefan Kiefer and Christine Tasson, editors
No Faves
Read it Now

Advances in Proof-Theoretic Semantics

Thomas Piecha and Peter Schroeder-Heister

More Info
AVAILABLE!
Read it Now
Book cover
Advances in Proof-Theoretic Semantics
Thomas Piecha and Peter Schroeder-Heister
Faved by 1
Read it Now