1. A constructive version of the extremum value theorem for spaces of vector–valued functions. (2018) Authors: STREIF, PAVEL OSINENKO STEFAN Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A transfer principle for second-order arithmetic, and applications. (2018) Authors: CARL, MERLIN; JAMNESHAN, ASGAR Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Abraham Robinson (6 October 1918 - 11 April 1974). (2018) Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Locally Compact Stone Duality. (2018) Authors: STARLING, CHARLES Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Long Reals. (2018) Authors: ASPERO, DAVID Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. New Effective Bounds for the Approximate Common Fixed Points and Asymptotic Regularity of Nonexpansive Semigroups. (2018) Authors: Kreisel, Georg Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Randomness and Solovay degrees. (2018) Authors: STEPHAN, KENSHI MIYABE ANDRÉ NIES FRANK Journal: Journal of logic and analysis Issue: Volume 10(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗