LLogic for Computer ScientistsLogic for Computer Scientistsde Uwe SchöningMateriasLogic programmingLogic, symbolic and mathematicalEdiciones (1)Logic for Computer Scientists (2008)Birkhäuser Boston · inglés · ISBN 9780817647629Más obras de Uwe SchöningLogik für Informatiker (Sav Informatik) (German Edition)Theoretische Informatik - kurz gefasst (German Edition)Theoretische Informatik - kurz gefasst (German Edition)