Published in: Oxford logic guides ; 3800

Published in: Addison-Wesley series in logic- Adiwes international series

Published in: Urban-Bücher ; .

Published in: Lecture notes in computer science ; 395

Published in: Stanford University: CSLI lecture notes ; 109

Published in: Cambridge tracts in theoretical computer science ; 19

Published in: Collection de logique mathématique / B ; 4

Published in: Lecture notes in computer science ; 1861

Published in: Mathematik im Kontext

Published in: Spektrum-Hochschultaschenbuch

Published in: Spektrum Lehrbuch: Reihe Informatik- Reihe Informatik

Published in: Reihe Informatik ; 56.1992

Published in: Kleine Vandenhoeck-Reihe ; 1219