Sprache, Beweis und Logik. Band I door John Barwise