|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Cobreros, Pablo; La Rosa, Elio und Tranchini, Luca
(2022):
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.
In: Journal of Philosophical Logic, Bd. 51, Nr. 6: S. 1417-1452