Towards a Theory of Proofs of Classical Logic ` diriger des recherches Habilitation a Universit´e Denis Diderot – Paris 7 - Denis Diderot - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards a Theory of Proofs of Classical Logic ` diriger des recherches Habilitation a Universit´e Denis Diderot – Paris 7 Add to Reading List Document Date: 2010-12-06 10:05:17 Open Document File Size: 1,43 MB Share Result on Facebook

Towards a Theory of Proofs of Classical Logic ` diriger des recherches Habilitation a Universit´e Denis Diderot – Paris 7Add to Reading List