Mathematische Grundlagen Aufzählbarkeit, Entscheidbarkeit, BerechenbarkeitEinführung in die Theorie der rekursiven FunktionenH. HermesSpringer BerlineBook2013 Arbeiten zur Analysis und zur mathematischen Logik Giuseppe PeanoSpringer WieneBook2013 Räumliche Vorstellung und Mathematisches ErkenntnisvermögenZweiter BandP. VerLoren van ThemaatSpringer NetherlandeBook2013 Strukturtypen der Logik Springer BerlineBook2013 Mathematische Logik mit Informatik-Anwendungen E. BergmannSpringer BerlineBook2013 Metamathematik der Elementarmathematik E. EngelerSpringer BerlineBook2013 Zur Logik der Logik-ProgrammierungEin konstruktiver AnsatzClemens BecksteinSpringer BerlineBook2013 ReduktionssystemeRechnen und Schließen in gleichungsdefinierten StrukturenJürgen AvenhausSpringer BerlineBook2013 Grundlegungen zu einer allgemeinen affinen Geometrie Stefan E. SchmidtSpringer BaseleBook2013 Theoretische InformatikEine kompakte EinführungKlaus W. WagnerSpringer BerlineBook201395 Treffer 1 2 3 4 5 6 7 8 ...