Citation formats
- Plain Text as file
- Jäger, Gerhard; Pohlers, Wolfram: Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme. München 1983. Sitzungsberichte: 1982,1. https://publikationen.badw.de/en/001077193
- RIS as file
TY - BOOK AU - Jäger, Gerhard AU - Pohlers, Wolfram T1 - Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme CY - München PY - 1983 T3 - Sitzungsberichte VL - 1982,1 UR - https://publikationen.badw.de/en/001077193 ER -
- BibTex as file
@Book{JägerPohlers1983, author = "Jäger, Gerhard and Pohlers, Wolfram", title = "Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme", year = "1983", address = "München", series = "Sitzungsberichte", volume = "1982,1", url = "https://publikationen.badw.de/en/001077193", }