𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen

✍ Scribed by Wirsing, Martin


Publisher
Springer-Verlag
Year
1978
Weight
650 KB
Volume
19
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Das Repräsentantenproblem im Prädikatenk
✍ Günter Asser 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 641 KB

Das wohl wesentlichste ungeloste Problem des Pradikatenkalkiils der ersten Stufe mit Identitiit (IK) ist bislang das sogenannte Repriisentantenproblem. Hierbei handelt es sich um die Frage, zu genau welchen Klassen K von Kardinalzahlen es einen Ausdruck H des IK2) gibt, so daD fur jede Kardinalzahl

Identität der Equisetsäure des Hrn. Brac
✍ Regnault, V. 📂 Article 📅 1836 🏛 Wiley (John Wiley & Sons) ⚖ 366 KB 👁 1 views

a e g n o u l f , Identitiit drr hpisi?tsdrrrc nrtt dcr Mulrinriiure. l 4 b 80 miiasen nothwendig nehen deroelben eine Reibe a n d e w entstdrcn, und diefs mub vorzugsweise durch eine aoalptiscbe A r b i t Rochgewiesen werden. Niemand kann laugnen, d d s Alkalien, dafs concenirirte Siiucen rut' die