Eine syntaktische Abgrenzung der (Δ1-CA)-Analysis [Delta-CA-Analysis]Gerhard JägerAusverkauft4,3Bewachen
Eine beweistheoretische Untersuchung von (Δ-CA) (BI) [CA BI] und verwandter SystemeGerhard JägerAusverkauft4,3Bewachen
![Gerhard Jäger Eine syntaktische Abgrenzung der (Δ1-CA)-Analysis [Delta-CA-Analysis]](https://rezised-images.knhbt.cz/1920x1920/0.webp)
