The following pages link to Werner Markwald (Q2651883):
Displaying 8 items.
- Zur Theorie der konstruktiven Wohlordnungen (Q2651884) (← links)
- Zur Eigenschaft primitiv-rekursiver Funktionen, unendlich viele Werte anzunehmen (Q3226756) (← links)
- Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen (Q3233207) (← links)
- (Q4051934) (← links)
- (Q4058644) (← links)
- Prädikatenlogik mit partiell definierten Funktionen II (Q4777259) (← links)
- Prädikatenlogik mit partiell definierten Funktionen (Q5617622) (← links)
- (Q5816793) (← links)
