What Do We Know When We Know That a Theory Is Consistent?.

Gilles Dowek What Do We Know When We Know That a Theory Is Consistent?. 1-6 2005 conf/cade/2005 CADE http://dx.doi.org/10.1007/11532231_1 db/conf/cade/cade2005.html#Dowek05