Feedback

X
#1

keyword: type theory and proof theory – 3 free books.

-gtbg These books are not included in Project Gutenberg.

  • View As:
  • view list
  • view icon

Foundations of Software Science and Computation Structures

Patricia Bouyer and Lutz Schröder

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Patricia Bouyer and Lutz Schröder
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

Foundations of Software Science and Computation Structures

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

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
No Faves
Read it Now