The following pages link to Danko Ilik (Q450949):
Displaying 5 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Effective subsets under homeomorphisms of \(\mathbb{R}^n\) (Q897661) (← links)
- "An analysis of the constructive content of Henkin's proof of G\""odel's completeness theorem" (Q6518684) (← links)
