Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... in Formal Provability Logic -- A Synthesis Algorithm for Hybrid Systems -- Including the Past in ‘Topologic...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... rewriting -- Lambda and combinatory calculi -- Categorical logic and topological semantics -- Linear logic...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
Table of Contents: “... -- Equational logic and term rewriting -- Lambda and combinatory calculi -- Categorical logic and topological...”
Cover Image
Read Now

4
Published 2016
Springer International Publishing
Table of Contents: “... -- Equational logic and term rewriting -- Lambda and combinatory calculi -- Categorical logic and topological...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Propositional System -- Tableaux and Hypersequents for Justification Logic -- Topological Forcing Semantics...”
Cover Image
Read Now

6
Published 2020
Springer International Publishing
“... and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear...”
Cover Image
Read Now

7
Published 2022
Springer International Publishing
“... and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear...”