Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)by Hans HermesWriting a summary for young readers…For young readersBook data: Open Library