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