Pages that link to "Item:Q3025780"
From MaRDI portal
The following pages link to Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Q3025780):
Displaying 3 items.
- Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe (Q3226748) (← links)
- Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe (Q3247215) (← links)
- Much shorter proofs: A bimodal investigation (Q3474647) (← links)
