Michael Rathjen


AuthID: R-00G-Z5V

Publicações a aguardar confirmação

1
TÍTULO: Mathematical Logic: Proof Theory, Constructive Mathematics
AUTORES: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLICAÇÃO: 2021, FONTE: Oberwolfach Reports, VOLUME: 17, NÚMERO: 4
INDEXADO EM: CrossRef
2
TÍTULO: Gentzen's Centenary. The Quest for Consistency
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2015
INDEXADO EM: Openlibrary
3
TÍTULO: Gentzen's Centenary. The Quest for Consistency
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2015
INDEXADO EM: Openlibrary

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service