Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 110



51
TITLE: Structure and Structures
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2018, SOURCE: Boston Studies in the Philosophy and History of Science - Truth, Existence and Explanation
INDEXED IN: CrossRef Handle
IN MY: ORCID | CIÊNCIAVITAE
52
TITLE: Structure and Structures
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2018, SOURCE: Boston Studies in the Philosophy and History of Science, VOLUME: 334
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
53
TITLE: What is Hilbert's 24th Problem?  Full Text
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2018, SOURCE: KAIROS-JOURNAL OF PHILOSOPHY & SCIENCE, VOLUME: 20, ISSUE: 1
INDEXED IN: WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: Diagonalização, Paradoxos e o Teorema de Löb
AUTHORS: Paulo Guilherme Santos ; Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Revista Portuguesa de Filosofia, VOLUME: 73, ISSUE: 3-4
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
55
TITLE: Hilbert-bernays summer school on logic and computation 2016 co-sponsored by the association for symbolic logic
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Bulletin of Symbolic Logic, VOLUME: 23, ISSUE: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
56
TITLE: Mathematical truth revisited: Mathematics as a toolbox
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Varieties of Scientific Realism: Objectivity and Truth in Science
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: The logical Cone PDF
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: FLAP, VOLUME: 4, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
58
TITLE: Von Dedekind zu Zermelo versus Peano zu Gödel
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Mathematische Semesterberichte, VOLUME: 64, ISSUE: 2
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: Towards a Proof-Theoretic Semantics of Equalities
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2016, SOURCE: Advances in Proof-Theoretic Semantics., VOLUME: 43
INDEXED IN: DBLP
IN MY: DBLP
60
TITLE: Two function algebras defining functions in NCk boolean circuits  Full Text
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2016, SOURCE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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