Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



51
TÍTULO: Mathematical truth revisited: Mathematics as a toolbox
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2017, FONTE: Varieties of Scientific Realism: Objectivity and Truth in Science
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
52
TÍTULO: The logical Cone PDF
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2017, FONTE: FLAP, VOLUME: 4, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
53
TÍTULO: Von Dedekind zu Zermelo versus Peano zu Gödel
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2017, FONTE: Mathematische Semesterberichte, VOLUME: 64, NÚMERO: 2
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: Towards a Proof-Theoretic Semantics of Equalities
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2016, FONTE: Advances in Proof-Theoretic Semantics., VOLUME: 43
INDEXADO EM: DBLP
NO MEU: DBLP
55
TÍTULO: Two function algebras defining functions in NCk boolean circuits  Full Text
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2016, FONTE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
56
TÍTULO: Gentzen's Centenary. The Quest for Consistency
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2015
INDEXADO EM: Openlibrary
NO MEU: ORCID
57
TÍTULO: Gentzen’s centenary: The quest for consistency
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: Gentzen’s consistency proof in context
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: Preface
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Sets, Truth, and Recursion
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: Unifying Philosophy Truth in Unifying the Philosophy of Truth, VOLUME: 36
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 de 11. Total de resultados: 105.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service