Reinhard Kahle and Michael Rathjen (eds.): Gentzen’s Centenary. The Quest for Consistency
Crossref DOI link: https://doi.org/10.1007/s10838-018-9411-6
Published Online: 2018-03-05
Published Print: 2018-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Binder, David
Text and Data Mining valid from 2018-03-05
Article History
First Online: 5 March 2018