On the metamathematics of impredicative set theory / W. Marek
Saved in:
Superior document: | Dissertationes mathematicae 98 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : PWN, 1973 |
Year of Publication: | 1973 |
Language: | English |
Series: | Dissertationes mathematicae
98 |
Physical Description: | 45 S. |
Notes: | Literaturverz. S. [41] |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Metamathematics and the philosophical tradition / / William Boos ; edited by Florence S. Boos.
by: Boos, William,
Published: ([2018]) -
Metamathematics and the Philosophical Tradition / / William Boos; Florence S. Boos.
by: Boos, William,
Published: ([2018]) -
Internal and forcing models for the impredicative theory of classes / Rolando Chuaqui
by: Chuaqui, Rolando
Published: (1980) -
Some properties of stationary sets / C. A. di Prisco and W. Marek
by: Prisco, Carlos A. di
Published: (1983) -
On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk
by: Ratajczyk, Zygmunt
Published: (1980)