Bulletin of the IGPL - Interest Group in Propositional and Predicate Logics (Saarbrücken Max-Planck-Institut für Informatik, 1993)
Keywords: Zeitschrift