共 2 条
[1]
G?del's Second incompleteness theorem for Q.[J].A. Bezboruah;J. C. Shepherdson.The Journal of Symbolic Logic.1976, 2
[2]
可能世界的逻辑.[M].(美)马库斯等著;康宏逵编译;.上海译文出版社.1993,

