| 1 |
no. 17
The situation in logic / Jon Barwise
: pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1989
|
| 2 |
no. 22, 26, 37
Situation theory and its applications / edited by Robin Cooper, Kuniaki Mukai, and John Perry
v. 1 - v. 3 : pbk. - Stanford, CA : Center for the Study of Language and Information , c1990-
|
| 3 |
no. 27
Literate programming / Donald E. Knuth
: pbk. - Stanford, CA : Center for the Study of Language and Information , c1992
|
| 4 |
no. 42
Hyperproof / Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]
: pbk. - Stanford, Calif. : CSLI Publications , c1994
|
| 5 |
no. 58, 96, 111
Logic, language and computation / edited by Jerry Seligman & Dag Westerståhl
v. 1 - v. 3 : pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1996-c2000
|
| 6 |
no. 59
Selected papers on computer science / Donald E. Knuth
: pbk,: hardback. - [Stanford, Calif.] : CSLI Publications. - [Cambridge] : [Co-published by] Cambridge University Press , c1996
|
| 7 |
no. 76
A theory of predicates / Farrell Ackerman, Gert Webelhuth
: hardback,: pbk. - Stanford, Calif. : CSLI Publications , c1998
|
| 8 |
no. 78
Digital typography / Donald E. Knuth
: pbk.. - Stanford, Calif. : CSLI Publications , c1999
|
| 9 |
91
Formalizing the dynamics of information / Martina Faller, Stefan Kaufmann, Marc Pauly, editors
: cloth,: pbk. - Stanford, Calif. : CSLI Publications , c2000
|
| 10 |
no. 92
Syntactic theory : a formal introduction / Ivan A. Sag & Thomas Wasow
: hc,: pbk. - Stanford, Calif. : CSLI, Center for the Study of Language and Information , c1999
|
| 11 |
no. 127
Mathematical reasoning with diagrams : from intuition to automation / Mateja Jamnik
: pbk,: cloth. - Stanford, Calif. : CSLI Publications, Center for the Study of Language and Information , c2001
|
Mendeley出力