Search alternatives:
mathematics logic » mathematical logic
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... intuitionistic logic -- Approximable minimization problems and optimal solutions on random inputs -- Bounded...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... proof system for Nested Term Graphs -- R n - and G n -logics -- The variable containment problem...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of combinators for rudimentary linear logic -- Comparing combinatory reduction systems and higher-order rewrite...”