Michael Rathjen


AuthID: R-00G-Z5V

Publicações a aguardarem confirmação

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
INDEXED IN: CrossRef
2
TITLE: The Legacy of Kurt Schütte
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2020
INDEXED IN: CrossRef
3
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: Openlibrary
4
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: Openlibrary

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service