Reinhard Kahle

Identifiers

Open LibraryOL3064496A

Top Subjects

Logic, symbolic and mathematical (2)
Mathematics, philosophy (1)
Mathematics (1)
Probability & Statistics - General (1)
Congresses (1)
Philosophy (1)
Logic (1)

Books by Reinhard Kahle

Total count: 11

Proof Theory in Computer ScienceInternational Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Springer London, Limited2003-01-01
IntensionalityLecture Notes in Logic 22

CRC Press LLC2005-01-01
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)

A K Peters, Ltd.2005-08-15
Computer Science Logic23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Springer London, Limited2009-01-01
Gentzen's CentenaryThe Quest for Consistency

Springer London, Limited2015-01-01
Advances in Proof Theory

Birkhauser Verlag2016-01-01
Axiomatic Thinking II

Springer International Publishing AG2021-01-01
Legacy of Kurt Schütte

Springer International Publishing AG2021-01-01
Axiomatic Thinking I

Springer International Publishing AG2021-01-01
VerantwortungEin Begriff in Seiner Aktualität

Brill Mentis2021-10-31
Limits of AI - Theoretical, Practical, Ethical

Springer Berlin / Heidelberg2024-01-01