Eine beweistheoretische Untersuchung von (Δ-CA) (BI) [CA BI] und verwandter SystemeGerhard JägerVypredanáPostrážiť
![Gerhard Jäger Eine syntaktische Abgrenzung der (Δ1-CA)-Analysis [Delta-CA-Analysis]](https://rezised-images.knhbt.cz/1920x1920/0.webp)
