RECURSIVELY-DEFINED LOGICAL THEORIES ARE WELL-DEFINED (BRIEF TECHNICAL NOTE) NISAN STIENNON This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written durin - Miri - Document - PDFSEARCH.IO

First Page	Meta Content
	RECURSIVELY-DEFINED LOGICAL THEORIES ARE WELL-DEFINED (BRIEF TECHNICAL NOTE) NISAN STIENNON This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written durin Add to Reading List Document Date: 2014-06-06 13:51:30 Open Document File Size: 147,61 KB Share Result on Facebook ProvinceOrState Pennsylvania / /

RECURSIVELY-DEFINED LOGICAL THEORIES ARE WELL-DEFINED (BRIEF TECHNICAL NOTE) NISAN STIENNON This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written durinAdd to Reading List