The following pages link to Horst Luckhardt (Q1245216):
Displayed 24 items.
- (Q801056) (redirect page) (← links)
- Constructing sequent rules for generalized propositional logics (Q801057) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- (Q1153080) (redirect page) (← links)
- On constructive functions ranging over propositions (Q1153081) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- A fundamental effect in computations on real numbers (Q1245217) (← links)
- Skolem-Normalformen (Q2537121) (← links)
- Extensional Gödel functional interpretation. A consistency proof of classical analysis (Q2560813) (← links)
- Complexity Versus the Church‐Rosser Property and Confluence (Q3478392) (← links)
- (Q3721816) (← links)
- Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken (Q3822154) (← links)
- A Limit for Higher Recursion Theory (Q3853615) (← links)
- (Q4090311) (← links)
- Über Hilbert's Reale Und Ideale Elemente (Q4123301) (← links)
- Über das Markov-Prinzip (Q4128796) (← links)
- A short proof of a well‐known theorem of intuitionistic analysis (Q4128797) (← links)
- Über das Markov-Prinzip II (Q4159056) (← links)
- (Q4397035) (← links)
- Aussagenlogisch Fundierte Theorien (Q5551423) (← links)
- Von Wright's relative Modalitäten (Q5551424) (← links)
- Kodifikation und Aussagenlogik (Q5573354) (← links)
- Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik (Q5613177) (← links)
- Kripke-Semantik der derivativen Prädikatelogik (Q5622157) (← links)