%{search_type} search results

4 catalog results

RSS feed for this result

1. Reuniting the antipodes : constructive and nonstandard views of the continuum : symposium proceedings, San Servolo, Venice, Italy, May 16-22, 1999 [2001]

  • Philosophy Library (Tanner) : Stacks : QA300 .R39 2001
  • SAL3 (off-campus storage) : Stacks : QA300 .R39 2001

2. Truth, proof, and infinity : a theory of constructions and contructive reasoning [1998]

  • Green Library : Stacks : QA8.4 .F63 1998
  • Philosophy Library (Tanner) : Stacks : QA8.4 .F63 1998

3. Trees in mathematics : theory of inductive definitions and subsystems of analysis [1977]

  • Philosophy Library (Tanner) : Stacks : 3781 1977 S
  • SAL1&2 (on-campus shelving) : Stacks : 3781 1977 S
  • Special Collections : University Archives : 03781 1977 S

4. The method of analysis : its geometrical origin and its general significance

  • Green Library : Stacks : Q175 .B73 V.25
  • Philosophy Library (Tanner) : Stacks : Q175 .B73 V.25