EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL

✍ Scribed by Dr. Martin Kühnrich

• Publisher: John Wiley and Sons
• Year: 1983
• Tongue: English
• Weight: 255 KB
• Volume: 29
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19830291103