Theoretische InformatikDavid Hilbert × Grundzüge der theoretischen Logik David HilbertSpringer BerlineBook2013 Grundzüge der Theoretischen Logik David HilbertSpringer BerlineBook2013