The following pages link to Peter Zahn (Q2500805):
Displayed 13 items.
- A normative model of classical reasoning in higher order languages (Q2500806) (← links)
- Complex Band Structures of Spintronics Materials (Q3613264) (← links)
- Gilt das Lemma von König „konstruktiv“? (Q3715109) (← links)
- A Predicative Approach to Nonstandard Mathematics (Q3737424) (← links)
- A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems (Q3800000) (← links)
- Supplements to “A Predicative Approach to Nonstandard Mathematics” (Q3800038) (← links)
- (Q3967508) (← links)
- (Q4175559) (← links)
- (Q4193430) (← links)
- (Q4771173) (← links)
- A Nonstandard Delta Function in a Predicative Theory (Q4835528) (← links)
- Eine Verallgemeinerung des Hauptsatzes von Gentzen (Q5596203) (← links)
- (Q5599165) (← links)