Logo Logo
Hilfe
Hilfe
Switch Language to English

Buchholz, Wilfried (1987): An independence result for (II1-CA)+BI. In: Annals of pure and applied logic, Bd. 33: S. 131-155 [PDF, 1MB]

[thumbnail of buchholz_wilfried_3842.pdf]
Vorschau
Download (1MB)
Dokument bearbeiten Dokument bearbeiten