Unterstruktur-invariante Formeln in der intuitionistischen Logik

✍ Scribed by Osswald, Horst

• Publisher: Springer-Verlag
• Year: 1972
• Weight: 649 KB
• Volume: 15
• Category: Article
• ISSN: 0003-9268
• DOI: 10.1007/bf02008529