Michael Rathjen
AuthID: R-00G-Z5V
1
TITLE: Mathematical Logic: Proof Theory, Constructive Mathematics
AUTHORS: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLISHED: 2021, SOURCE: Oberwolfach Reports, VOLUME: 17, ISSUE: 4
AUTHORS: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLISHED: 2021, SOURCE: Oberwolfach Reports, VOLUME: 17, ISSUE: 4
INDEXED IN: 
CrossRef
CrossRef2
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: 
Openlibrary
Openlibrary