MICHAEL LANCASTER SMITH1982 年出版218 页ISBN:0852002610
MATHEMATICAL MODELS FOR HANDLING PARTIAL KNOWLEDGE IN ARTIFICIAL INTELLIGENCE
2222 年出版308 页ISBN:0306450763
PERSPECTIVES IN MATHEMATICAL LOGIC AZRIEL LEVY BASIC SET THEORY
1979 年出版391 页ISBN:3540084177