Jump to Navigation
LTG
Logic and Theory Group
University of Bern

You are here

Home ›

Publications

Export 4 results:
  • BibTex
  • RTF
  • Tagged
  • MARC
  • XML
  • RIS
Filters: Type is Habilitation Thesis  [Clear All Filters]
2017
Probst, D.: A modular ordinal analysis of metapredicative subsystems of second order arithmetic. (2017).
  • Google Scholar
  • BibTex
  • RTF
  • Tagged
  • MARC
  • XML
  • RIS
2010
Brünnler, K.: Nested Sequents. (2010).
  • Google Scholar
  • BibTex
  • RTF
  • Tagged
  • MARC
  • XML
  • RIS
Studer, T.: Proof-Theoretic Contributions to Modal Fixed Point Logics. (2010).
  • Google Scholar
  • BibTex
  • RTF
  • Tagged
  • MARC
  • XML
  • RIS
2001
Strahm, T.: Proof-theoretic contributions to explicit mathematics. (2001).
  • Google Scholar
  • BibTex
  • RTF
  • Tagged
  • MARC
  • XML
  • RIS
  • Home
  • Contact
  • Staff
  • Research Topics
  • Lectures
  • Calendar
  • Publications
    • Journal Articles
    • Conference Papers
    • Habilitation Theses
    • PhD Theses
    • Master's Theses
    • Technical Reports
    • Authors