Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen (Q3233207): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von Münster / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Recursively enumerable sets of positive integers and their decision problems / rank | |||
Normal rank | |||
Revision as of 17:09, 11 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen |
scientific article |
Statements
Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen (English)
0 references
1956
0 references
foundations, philosophy, logic
0 references
