Splittings and Robustness for the Heine-Borel Theorem

von Sanders, Sam
Veröffentlicht in CiE (17. : 2021 : Gent, online) Connecting with Computability (2021)

On the Computational Properties of the Uncountability of the Real Numbers

von Sanders, Sam
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Reverse Mathematics of the Uncountability of R

von Sanders, Sam
Veröffentlicht in CiE (Veranstaltung : 18. : 2022 : Swansea) Revolutions and revelations in computability (2022)

Between Turing and Kleene

von Sanders, Sam
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)

Lifting Recursive Counterexamples to Higher-Order Arithmetic

von Sanders, Sam
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)

Betwixt Turing and Kleene

von Normann, Dag
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)

THE LUNG AND PARANASAL SINUSES : THE BEGINNINGS AND PROGRESSION OF DISEASE WITH THE INFLUENCE OF ALLERGY AND INFECTION

von WASSON, WILLIAM W.
Veröffentlicht 1969