Ulrich Kohlenbach
AuthID: R-00K-3BP
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
AUTORES: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLICAÇÃO: 2021, FONTE: Oberwolfach Reports, VOLUME: 17, NÚMERO: 4
INDEXADO EM: 
CrossRef
CrossRef2
TÃTULO: On Tao's "finitary" infinite pigeonhole principle
AUTORES: Jaime Gaspar ; Ulrich Kohlenbach;
PUBLICAÇÃO: 2010, FONTE: J. Symb. Log., VOLUME: 75, NÚMERO: 1
AUTORES: Jaime Gaspar ; Ulrich Kohlenbach;
PUBLICAÇÃO: 2010, FONTE: J. Symb. Log., VOLUME: 75, NÚMERO: 1
