Sprache, Beweis und Logik. Band 2 door John Barwise