Phd-MathLogic

Remarks on Graph Functions

Stephan Robert Heilmayr
Leo Anthony Harrington
1998

Computable Continuous Structure Theory

James Gardner Moody
Antonio Montalban
Theodore A. Slaman
2019