Its mostly what it sounds like, near as I can tell.
It goes into provability of logical systems, computability thereof, that sort of thing. I'm fairly sure it handles descision theory, but is concerned mostly with the axioms and provability thereof, not so much the application.
Which is too...