Mathematik: LogikEinar Smith × Elementare Berechenbarkeitstheorie Einar SmithSpringer BerlinSoftcover1996