51
TÍTULO: Structure and Structures
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Boston Studies in the Philosophy and History of Science - Truth, Existence and Explanation
INDEXADO EM: CrossRef Handle
52
TÍTULO: Structure and Structures
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2018, FONTE: Boston Studies in the Philosophy and History of Science, VOLUME: 334
INDEXADO EM: Scopus
53
TÍTULO: What is Hilbert's 24th Problem?  Full Text
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2018, FONTE: KAIROS-JOURNAL OF PHILOSOPHY & SCIENCE, VOLUME: 20, NÚMERO: 1
INDEXADO EM: WOS CrossRef: 2
54
TÍTULO: Diagonalização, Paradoxos e o Teorema de Löb
AUTORES: Paulo Guilherme Santos ; Reinhard Kahle ;
PUBLICAÇÃO: 2017, FONTE: Revista Portuguesa de Filosofia, VOLUME: 73, NÚMERO: 3-4
INDEXADO EM: CrossRef
55
TÍTULO: Hilbert-bernays summer school on logic and computation 2016 co-sponsored by the association for symbolic logic
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2017, FONTE: Bulletin of Symbolic Logic, VOLUME: 23, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
56
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
57
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
58
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
59
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
60
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
Página 6 de 11. Total de resultados: 110.