![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 7
2020
2018
Sanders, Sam
(2018):
Refining the Taming of the Reverse Mathematics Zoo.
In: Notre Dame Journal of Formal Logic, Bd. 59, Nr. 4: S. 579-597
Sanders, Sam
(2018):
To be or not to be constructive, that is not the question.
In: Indagationes Mathematicae-New Series, Bd. 29, Nr. 1: S. 313-381
Sanders, Sam
(2018):
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis.
In: Computability-the Journal of the Association Cie, Bd. 7, Nr. 1: S. 7-43
Katz, Boris; Katz, Mikhail G. und Sanders, Sam
(2018):
A footnote to The crisis in contemporary mathematics.
In: Historia Mathematica, Bd. 45, Nr. 2: S. 176-181
2016
Sanders, Sam
(2016):
The computational content of Nonstandard Analysis.
In: Electronic Proceedings in Theoretical Computer Science, Nr. 213: S. 24-40
[PDF, 259kB]
Liefke, Kristina und Sanders, Sam
(2016):
A Computable Solution to Partee's Temperature Puzzle.
In: Li, Yanyan (Hrsg.):
State-of-the-Art and Future Directions of Smart Learning. Singapore: Springer. S. 175-190