Feedback

X
#1

keyword: Mathematical Logic and Foundations – 3 free books.

  • View As:
  • view list
  • view icon

Fading Foundations

David Atkinson and Jeanne Peijnenburg

AVAILABLE!
Book cover
David Atkinson and Jeanne Peijnenburg

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

AVAILABLE!
Book cover
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

Advances in Proof-Theoretic Semantics

Thomas Piecha and Peter Schroeder-Heister

AVAILABLE!
Book cover
Thomas Piecha and Peter Schroeder-Heister