The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15 - Melvin Fitting - Document - PDFSEARCH.IO

First Page	Meta Content
	The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15 Add to Reading List Document Date: 2012-05-16 01:10:11 Open Document File Size: 44,25 KB Share Result on Facebook

The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15Add to Reading List