Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation

First Page		Document Content
Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem		Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Download Document from Source Website File Size: 1,36 MB Share Document on Facebook

	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation DocID: 1mThs - View Document
	Communiqué du[removed]Artur Avila reçoit le Grand Prix Jacques Herbrand DocID: 4DSd - View Document