Skip to contents
-
Heidelberg [u.a.]: Springer, 2011
-
London [u.a.]: Imperial College Press [u.a.], 2011
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
-
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
-
theses.fr, 2015-01-15
-
theses.fr, 2018-09-19
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2011
-
theses.fr, 2017-12-01
-
Elsevier BV, 2011
-
Project MUSE, 1991
-
Springer Berlin Heidelberg, 2011
-
New Prairie Press, 2013
-
Cambridge University Press (CUP), 2004
-
Cambridge University Press (CUP), 2003
-
Association for Symbolic Logic, 2003
-
Springer Berlin Heidelberg, 2011
-
Open Publishing Association, 2015
-
Springer Berlin Heidelberg, 2011
-
Springer Science and Business Media LLC, 2003
-
JSTOR, 1997