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

Joyner Library - General Stacks
Call Number: QA9.2 .D48 1986