Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 110



61
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: Openlibrary
IN MY: ORCID
62
TITLE: Gentzen’s centenary: The quest for consistency
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Gentzen’s consistency proof in context
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Preface
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
65
TITLE: Sets, Truth, and Recursion
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Unifying Philosophy Truth in Unifying the Philosophy of Truth, VOLUME: 36
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: Syntax versus Semantics PDF
AUTHORS: Reinhard Kahle ; Wilfried Keller;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1507.04678
INDEXED IN: DBLP arXiv
IN MY: DBLP
67
TITLE: What is a Proof?  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: AXIOMATHES, VOLUME: 25, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
68
TITLE: Towards the Structure of Mathematical Proof PDF
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2014, SOURCE: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., VOLUME: 1186
INDEXED IN: DBLP
IN MY: DBLP
69
TITLE: What is a Proof?
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2014, SOURCE: Axiomathes
INDEXED IN: Scopus
70
TITLE: What is a Proof?  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2014, SOURCE: Axiomathes
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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