1.

図書
図書
1. Introduction to circuit complexity : a uniform approach
Heribert Vollmer
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
2.

図書
図書
2. Descriptive complexity
Neil Immerman
出版情報: New York : Springer, c1999
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
3.

図書
図書
3. Sets, logic, and categories (: pbk)
Peter J. Cameron
出版情報: London ; Berlin ; Heidelberg : Springer, 1999
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
4.

図書
図書
4. Once upon a number : the hidden mathematical logic of stories. 1st ed
John Allen Paulos
出版情報: New York, NY : Basic Books, c1998
所蔵情報: loading…
5.

図書
図書
5. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
所蔵情報: loading…
6.

図書
図書
6. Mathematical logic for computer science. 2nd ed
Lu Zhongwan
出版情報: Singapore : World Scientific, c1998
シリーズ名: Series in computer science ; v. 47
所蔵情報: loading…
7.

図書
図書
7. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
8.

図書
図書
8. Higher order operational techniques in semantics
edited by Andrew D. Gordon and Andrew M. Pitts
出版情報: New York : Cambridge University Press, c1998
シリーズ名: Publications of the Newton Institute ; 12
所蔵情報: loading…
9.

図書
図書
9. Mathematical fallacies and paradoxes. Dover ed
Bryan Bunch
出版情報: Mineola, N.Y. : Dover Publications, c1997
所蔵情報: loading…
10.

図書
図書
10. Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
出版情報: New York : Cambridge University Press, 1997
シリーズ名: Publications of the Newton Institute ; 14
所蔵情報: loading…