Start Over
You searched for: author_facet Detlefsen, Michael

Search Results

Cover image for Proof and knowledge in mathematics

Proof and knowledge in mathematics

  • 1992
  • Format: Electronic
Location
Access Content Online
Cover image for Proof, logic, and formalization

Proof, logic, and formalization

  • 1992
  • Format: Electronic
Location
Access Content Online
Cover image for Hilbert's program

Hilbert's program

Location Call # Status
Joyner - General Stacks QA9.2 .D48 1986 ✔ Available