Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... for constructive fallacies -- Algebraic methods in the compositional analysis of logic programs -- Longest common...

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... the specification techniques of graph transformation and temporal logic -- On the generation of trees by hyperedge...