i hate these names. no one ever says what, if anything, they stand for. why are two of them numbers
anyway the thing i was Actually looking for is not on you-know-where and i dont wanna pay €40 for it
@niss If the thing you are looking for is by any chance Boolos's Logic of provability I'm pretty sure I have it somewhere on disk. But I think this one was in the usual places, so that's probably not what you have been talking about...?
