Computer science logicde Egon Borger, G. Jager, H. Kleine BuningMateriasCongressesInformatikSymbolic and mathematical LogicComputer scienceLogikMathematicsMatematikai logikaKonferenciaFormális logika