𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet

✍ Scribed by Thoralf Skolem

Publisher
John Wiley and Sons
Year
1957
Tongue
English
Weight
829 KB
Volume
3
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Eine Umformung des Heytingschen Axiomens
Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet
✍ Karl Schröter 📂 Article 📅 1957 🏛 John Wiley and Sons 🌐 English ⚖ 606 KB

Von KARL SCHROTER in Berlin A. HEYTIN&) hat bekanntlich fur den intuitionistischen Aussagenkalkul (AH) das folgende Axiomensystem in der intuitionistischen Implikation (Funktor : +), der intuitionistischen Konjunktion (Funktor : A), der intuitionistischen Alternative (Funktor : v ) und der intuition

Über die Ausdrucksfähigkeit des Prädikat
Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet
✍ Günter Asser 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 964 KB

tfBER DIE AUSDRUCKSFAHIGKEIT DES PRADIKATENKALKULS DER ERSTEN STUFE MIT FUNKTIONALEN1) Dem Andenken an HEINRICH SCHOLZ gowidmet Von GUNTER ASSER in Berlin 1. I m AnschluB an meine Arbeit uber das Reprasentantenproblem im Pradikatenkalkul der ersten Stufe mit Identitatz) hat Herr Prof. sCHoLZ3) die F