The Situation In Logic door Jon Barwise & Zaslavsky