%{search_type} search results

12 catalog results

RSS feed for this result
View results as:
Number of results to display per page

1. Companion to the papers of Donald Knuth [2011]

  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.202
  • Special Collections : University Archives : QA76.9 .A43 K5852 2011

2. Studies in weak arithmetics [2010]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : QA241 .S824 2010
  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.196

3. Representation and invariance of scientific structures [2002]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : P51 .C18 NO.130
  • Green Library : Stacks : P51 .C18 NO.130
  • Philosophy Library (Tanner) : Stacks : Q175 .S93945 2002

4. Formalizing the dynamics of information [2000]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : P51 .C18 NO.91
  • Philosophy Library (Tanner) : Stacks : Q360 .F665 2000
  • SAL3 (off-campus storage) : Stacks : P51 .C18 NO.91
  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.91

5. Human values and the design of computer technology [1997]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : P51 .C18 NO.72
  • Green Library : Stacks : QA76.9 .C66 H837 1997

6. Hyperproof [1994]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : P51 .C18 NO.42
  • Green Library : Stacks : P51 .C18 NO.42
  • Philosophy Library (Tanner) : Stacks : QA76.B3114 1994
  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.42

Online 7. Mathematics of modality [1993]

  • Philosophy Library (Tanner) : Stacks : QA9.46 .G66 1993
  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.43

8. Lectures on linear logic [1992]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : P51 .C18 NO.29
  • Philosophy Library (Tanner) : Stacks : QA9 .T76 1992
  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.29

9. Logics of time and computation [1992]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : P51 .C18 NO.7
  • Philosophy Library (Tanner) : Stacks : QA9.46 .G65 1992
  • Science Library (Li and Ma) : Stacks : P51 .C18 NO.7

10. Thinking machines : Can there be? : Are we? [1987]

  • Green Library : Stacks : P121 .P295 N.27:NO.100

12. Language, sex, and gender : does La différence make a difference? [1979]

  • SAL3 (off-campus storage) : Stacks : P120 .S48 L3