Theoretische InformatikFriedrich L. Bauer × Historische Notizen zur Informatik Friedrich L. BauerSpringer BerlinHardcover2009 Informatik 2Eine einführende ÜbersichtFriedrich L. BauerSpringer BerlinSoftcover1992 Elementare Aussagenlogik Friedrich L. BauerSpringer BerlinSoftcover1991