The following pages link to Horst Luckhardt (Q1245216):
Displaying 9 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)