Sprache, Beweis und Logik. Band I by John Barwise