ProfileOfResearchers

Identified 3

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:

2

TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015

INDEXED IN:

Openlibrary

3

TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015

INDEXED IN:

Openlibrary

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