Percorrer por autor Kahle, Reinhard
Mostrar resultados 1-11 de 11.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 1-Ago-2021 | A Recursion-Theoretic Characterization of the Probabilistic Class PP | Dal Lago, Ugo; Kahle, Reinhard; Oitavem, Isabel | conferenceObject |  |
| 2021 | Dedekinds Saetze und Peanos Axiome | Kahle, Reinhard | article | |
| 2021 | Default negation as explicit negation plus update | Kahle, Reinhard | article | |
| Set-2024 | Ein Lob der Habilitation | Kahle, Reinhard | article | |
| Out-2020 | Feferman on Foundations: Logic, Mathematics, Philosophy | Kahle, Reinhard | review | |
| Dez-2021 | k-Provability in PA | Santos, Paulo Guilherme; Kahle, Reinhard | article | |
| Fev-2024 | Paradoxes, Intuitionism, and Proof-Theoretic Semantics | Kahle, Reinhard; Santos, Paulo Guilherme | bookPart | |
| 25-Out-2018 | Structure and Structures | Kahle, Reinhard | bookPart | |
| Dez-2021 | VARIANTS of KREISEL'S CONJECTURE on A NEW NOTION of PROVABILITY | Santos, Paulo Guilherme; Kahle, Reinhard | article | |
| 2023 | Zukunft der KI | Kahle, Reinhard | conferenceObject | |
| 15-Ago-2018 | Μηδεὶς ἀγεωμέτρητοϛ εἰσίτω | Kahle, Reinhard | bookPart | |
