Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
THE POMITICAL UNCOMMONS THE CROSS-CULTURAL LOGIC OF THE GLOBAL COMMONS
KATHRYN MILUN2011 年出版231 页ISBN:0754671399
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN: