古本で買った
- Hao Wang, Logic, Computers, and Sets, Chelsea, 1970.
が届く。これは
- A survey of mathematical logic, North-Holland, 1964.
の再版。同じものが違う出版社から違う名前で出ている。届いた古本にはChurchill Liberaryの刻印が。しかし本当に欲しい論文はここには採録されていなかった。あれれ?
ここに入っている"Some formal details on predicative set theories"はそのうち読むか。可述集合論の文献は少ないし。