Jump to Navigation
LTG
Logic and Theory Group
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