1
Published 2016
Springer International Publishing
Subjects: ...Mathematical Logic and Foundations...

2
Published 2013
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

3
Published 2004
Springer Netherlands
Subjects: ...Mathematical Logic and Foundations...

4
Published 2012
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Foundations...

5
Published 2008
Springer New York
Subjects: ...Mathematical Logic and Foundations...

6
Published 2011
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Foundations...

7
Published 2010
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...