Fields of logic and computationde Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang ReisigMateriasSoftwarespezifikationKomplexitätstheorieMathematische LogikSymbolic and mathematical LogicBerechenbarkeitProgrammverifikationFormale MethodeInformation theory
