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

Upcoming Events

  • ABM Spring 2018
    Thu, 26. Apr. 2018 - 09:30
    to Fri, 27. Apr. 2018 - 12:00
  • Talk by Klaus Mainzer
    Thu, 03. May. 2018
    from 10:15 to 11:30