Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They - Computable model theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They Add to Reading List Document Date: 2015-08-29 00:40:53 Open Document File Size: 42,50 KB Share Result on Facebook

Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They Add to Reading List