%{search_type} search results

289 catalog results

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

1. A course on basic model theory [2017]

  • Science Library (Li and Ma) : Stacks : QA9.7 .S273 2017

2. Simplicity theory [2014]

  • Science Library (Li and Ma) : Stacks : QA9.7 .K56 2014

3. Model theory [1990]

  • Philosophy Library (Tanner) : Stacks : QA9.7 .C45 2012

4. Models and games [2011]

  • Science Library (Li and Ma) : Stacks : QA9.7 .V33 2011

5. Saturated model theory [2010]

  • Science Library (Li and Ma) : Stacks : QA9 .S313 2010

6. Model theory with applications to algebra and analysis [2008]

  • SAL3 (off-campus storage) : Stacks : QA9.7 .M638 2008 V.1

8. Finite model theory and its applications [2007]

  • Philosophy Library (Tanner) : Stacks : QA9.7 .F56 2007
  • SAL3 (off-campus storage) : Stacks : QA9.7 .F56 2007

10. A guide to classical and modern model theory [2003]

  • Green Library : Stacks : QA9.7 .M364 2003

11. Model theory : an introduction [2002]

  • Science Library (Li and Ma) : Stacks : QA9.7 .M367 2002

13. Finite model theory [1999]

  • SAL3 (off-campus storage) : Stacks : QA9.7 .E23 1999

15. A shorter model theory [1997]

  • Philosophy Library (Tanner) : Stacks : QA9.7 .H65 1997
  • Science Library (Li and Ma) : Stacks : QA9.7 .H65 1997

16. Basic model theory [1996]

  • Green Library : Jonsson Social Sciences Reading Room: CSLI publications : QA9.7 .D64 1996
  • Philosophy Library (Tanner) : Stacks : QA9.7 .D64 1996
  • SAL3 (off-campus storage) : Stacks : QA9.7 .D64 1996

18. Finite model theory [1995]

  • SAL3 (off-campus storage) : Stacks : QA9.7 .E23 1995

19. Quantifiers : logics, models, and computation [1995]

  • Green Library : Stacks : QA9.7 .Q36 1995 V.1
  • SAL3 (off-campus storage) : Stacks : QA9.7 .Q36 1995 V.1

20. Model theory [1993]

  • Science Library (Li and Ma) : Stacks : QA9.7 .H64 1993

Articles+

Journal articles, e-books, & other e-resources

Guides

Course- and topic-based guides to collections, tools, and services.