On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk
Na minha lista:
| Superior document: | Dissertationes mathematicae 178 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Warszawa : PWN, 1980 |
| Ano de Publicação: | 1980 |
| Idioma: | English |
| Colecção: | Dissertationes mathematicae
178 |
| Assuntos: | |
| Descrição Física: | 44 S. |
| Observações: | Literaturverz. S. [40] |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Seja o primeiro a partilhar um comentário!