Jon Barwise
US-amerikanischer Logiker