The Empiricist Roots of Hilbert’s Axiomatic Approach

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationProof theory
Subtitle of host publicationhistory and philosophical significance
EditorsVincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen
Place of PublicationDordrecht
PublisherKluwer Academic Publishers
Pages35-54
Number of pages20
ISBN (Print)0792365445
StatePublished - 2000

Publication series

NameSynthese library
Volume292

Keywords

  • Proof theory
  • תורת ההוכחה

Cite this