ID:DA0696829X
Jipsen, P
Search authors sharing the same name
Peter Höfner ... [et al.] (eds.)
Springer c2014 Lecture notes in computer science 8428 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
: [pbk.]
Available at 1 libraries
Nikolaos Galatos ... [et al.]
Elsevier 2007 1st ed Studies in logic and the foundations of mathematics v. 151
Available at 31 libraries
Peter Jipsen, Henry Rose
Springer-Verlag c1992 Lecture notes in mathematics 1533
: gw , : us
Available at 82 libraries