Licence unknown link only — licence forbids redistribution
arXiv preprint (cs.AI, math.LO).
Concepts this teaches
Not yet mapped to any concept.
A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.