Sprache, Beweis und Logik. Band 2 by John Barwise