BAdW

Publications
online

Back to the top ↑
Permalink to this page: https://publikationen.badw.de/en/001077193
Author(s): Jäger, Gerhard;
Pohlers, Wolfram
Title: Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme
Place: München
Year: 1983
Series: Sitzungsberichte
Volume number: 1982,1
Catalog entry: https://gateway-bayern.de/BV001077193

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",
}