Physical and digital books, media, journals, archives, and databases.
Results include
  1. Intuitionistic general topology

    Troelstra, A. S. (Anne Sjerp)
    Groningen, V.R.B., Kleine der A 3-4, 1966.

  2. Choice sequences : a chapter of intuitionistic mathematics

    Troelstra, A. S. (Anne Sjerp)
    Oxford [Eng.] : Clarendon Press, 1977.

  3. Principles of intuitionism

    Troelstra, A. S. (Anne Sjerp)
    Berlin, Heidelberg, New York, Springer, 1969.

Guides

Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search

Exhibits

Digital showcases for research and teaching.
No exhibits results found... Try a different search

EarthWorks

Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.