Ulrich Kohlenbach
AuthID: R-00K-3BP
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: On Tao's "finitary" infinite pigeonhole principle
AUTHORS: Jaime Gaspar ; Ulrich Kohlenbach;
PUBLISHED: 2010, SOURCE: J. Symb. Log., VOLUME: 75, ISSUE: 1
AUTHORS: Jaime Gaspar ; Ulrich Kohlenbach;
PUBLISHED: 2010, SOURCE: J. Symb. Log., VOLUME: 75, ISSUE: 1
