Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet

First Page		Document Content
Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic		Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Download Document from Source Website File Size: 257,34 KB Share Document on Facebook

	Partial orders and immunity in reverse mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE DocID: 1rW0A - View Document
	1 2 Lesson 1 Reverse-Engineering: How does NinjaCat work? DocID: 1qtA7 - View Document
	Full Papers IDC 2015 Medford, MA, USA Reverse Scaffolding: A Constructivist Design Architecture for Mathematics Learning DocID: 1qiYh - View Document
	HP Calculators Introduction into RPN Overview and history of RPN More about HP calculators: DocID: 1qaG8 - View Document