Index of /logic
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory 28-Oct-2011 10:28 -
![[ ]](/icons/layout.gif)
Church_1941.pdf 02-Apr-2010 18:53 194k Adobe PDF Document˙˙
Constructability.pdf 02-Apr-2010 18:53 81k Adobe PDF Document˙˙
DSCOTT_1970.pdf 02-Apr-2010 18:53 135k Adobe PDF Document˙˙
Devlin3-3.5.pdf 02-Apr-2010 18:53 118k Adobe PDF Document˙˙
ZFintro.pdf 02-Apr-2010 18:53 124k Adobe PDF Document˙˙
lambdaCalculus.pdf 02-Apr-2010 18:53 245k Adobe PDF Document˙˙
![[ ]](/icons/compressed.gif)
logic.zip 02-Apr-2010 18:53 1016k PKZIP compressed archive
sigma-1.pdf 02-Apr-2010 18:53 287k Adobe PDF Document˙˙
soundness-n-completeness.notes.pdf 02-Apr-2010 18:53 80k Adobe PDF Document˙˙