DOORS（同志社大学図書館）

Cambridge tracts in theoretical computer science

データ種別	図書
出版者	Cambridge [Cambridgeshire] ; New York, N.Y., U.S.A. : Cambridge University Press


1	5 Topology via logic / Steven Vickers pbk.. - Cambridge [England] ; New York : Cambridge University Press , 1989
2	14 Mathematics for computer graphics / S.G. Hoggar Cambridge : Cambridge University Press , 1992
3	38 Metamathematics, machines, and Gödel's proof / N. Shankar Cambridge : Cambridge University Press , 1994
4	44 Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman : hbk. - Cambridge ; New York : Cambridge University Press , 1997
5	49 Hybrid graph theory and network analysis / Ladislav Novak, Alan Gibbons : pbk. - Cambridge : Cambridge University Press , 2009, c1999