Title: Language proof and logic
Subjects: Beweis, CD-ROM, Logik, Einführung, Sprache, Philosophy, Logic