Jump to Navigation
LTG
Logic and Theory Group
University of Bern

You are here

Home ›

Publications

Export 1 results:
  • BibTex
  • RTF
  • Tagged
  • XML
  • RIS
Filters: Author is Thomas Schweizer  [Clear All Filters]
2003
T. Schweizer, “Two Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$”. Universität Bern, 2003.
  • Google Scholar
  • BibTex
  • RTF
  • Tagged
  • XML
  • RIS
  • Home
  • Contact
  • Staff
  • Research Topics
  • Lectures
  • Calendar
  • Publications
    • Journal Articles
    • Conference Papers
    • Habilitation Theses
    • PhD Theses
    • Master's Theses
    • Technical Reports
    • Authors