~ fanning out the threads ~
Symbolic and mathematical logic books — OmList