41
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
42
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
43
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
44
TÍTULO: Dual Axiomatics
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2019, FONTE: Mario Bunge: A Centenary Festschrift
INDEXADO EM: Scopus CrossRef
45
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
46
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
47
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
48
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
49
TÍTULO: M
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Logic, Epistemology, and the Unity of Science, VOLUME: 43
INDEXADO EM: Scopus
50
TÍTULO: M      
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Logic, Epistemology, and the Unity of Science - The Philosophers and Mathematics
INDEXADO EM: CrossRef Handle
Página 5 de 11. Total de resultados: 110.