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

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... -- An Explicit Formula for the Free Exponential Modality of Linear Logic -- Decidability of the Guarded Fragment...

2
Published 2009
Springer Berlin Heidelberg
Subjects: ...Mathematics of Computing...