Sprache, Beweis und Logik - Barwise, Jon; Etchemendy, John (mentis-Verl.)