✦ LIBER ✦

Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik

✍ Scribed by Ragaz, Matthias

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Anzahlquantoren in der Prädikatenlogik

✍ Rödding, Dieter 📂 Article 📅 1966 🏛 Springer-Verlag ⚖ 213 KB

Der Interpolationssatz der intuitionisti

✍ Kurt Schütte 📂 Article 📅 1962 🏛 Springer 🌐 English ⚖ 470 KB

ÜBER DIE QUANTORENBASEN DER KLASSISCHEN

✍ Peter Schreiber 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB

Die Nichtaxiomatisierbarkeit der unendli

✍ Ragaz, Matthias 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 340 KB

Die Unentscheidbarkeit Der Grzegorczyk-K

✍ Klemens Döpp 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

Kleine unentscheidbare Klassen der Prädi

✍ Wirsing, Martin 📂 Article 📅 1978 🏛 Springer-Verlag ⚖ 650 KB