Unterstruktur-invariante Formeln in der intuitionistischen Logik (Q5678839)
From MaRDI portal
scientific article; zbMATH DE number 3414274
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unterstruktur-invariante Formeln in der intuitionistischen Logik |
scientific article; zbMATH DE number 3414274 |
Statements
Unterstruktur-invariante Formeln in der intuitionistischen Logik (English)
0 references
1972
0 references
