Fields of logic and computation
by Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
SoftwarespezifikationKomplexitätstheorieMathematische LogikSymbolic and mathematical LogicBerechenbarkeitProgrammverifikationFormale MethodeInformation theory
Writing a summary for young readers…
For young readers
Book data: Open Library