Pages that link to "Item:Q6642876"
From MaRDI portal
The following pages link to On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876):
Displaying 4 items.
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Connecting real and hyperarithmetical analysis (Q6670899) (← links)