41
TÍTULO: Preface
AUTORES: Reinhard Kahle ; Rathjen, M;
PUBLICAÇÃO: 2020, FONTE: The Legacy of Kurt Schütte
INDEXADO EM: Scopus
42
TÍTULO: Primzahlen als Herausforderung
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: 50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020 in 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020, VOLUME: P-307
INDEXADO EM: Scopus DBLP
43
TÍTULO: The Legacy of Kurt Schütte
AUTORES: Reinhard Kahle ; Michael Rathjen;
PUBLICAÇÃO: 2020, FONTE: The Legacy of Kurt Schütte
INDEXADO EM: Scopus CrossRef Openlibrary
44
TÍTULO: “Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: The Legacy of Kurt Schütte
INDEXADO EM: Scopus CrossRef: 2
45
TÍTULO: Discussing Hilbert's 24th problem
AUTORES: Ines Hipolito; Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, NÚMERO: 2140
INDEXADO EM: Scopus WOS CrossRef: 5
46
TÍTULO: Dual Axiomatics
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: Mario Bunge: A Centenary Festschrift
INDEXADO EM: Scopus CrossRef
47
TÍTULO: HILBERT-BERNAYS SUMMER SCHOOL on LOGIC and COMPUTATION 2018: CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: Bulletin of Symbolic Logic, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
48
TÍTULO: Is There a "Hilbert Thesis"?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: STUDIA LOGICA, VOLUME: 107, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
49
TÍTULO: A Logician's Sidelong Glance at Irony  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Baltic International Yearbook of Cognition, Logic and Communication, VOLUME: 12, NÚMERO: 1
INDEXADO EM: CrossRef
50
TÍTULO: Hilbert-bernays summer school on logic and computation 2017 co-sponsored by the association for symbolic logic gottingen, Germany July 23-29, 2017
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Bulletin of Symbolic Logic, VOLUME: 24, NÚMERO: 4
INDEXADO EM: Scopus CrossRef
Página 5 de 11. Total de resultados: 110.