Aufzählbarkeit, Entscheidbarkeit, Berechnbarkeit : Einführung in die Theorie der rekursiven FunktionenHans HermesSold outTrack
Statistische Erklärungen Deduktiv-nomologische Erklärungen in präzisen Modellsprachen Offene ProblemeWolfgang StegmüllerSold outTrack