EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL (Q3317100)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL |
scientific article |
Statements
EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL (English)
0 references
1983
0 references
abstraction principle
0 references
Aczel-Feferman logic
0 references
