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

Gilles Dowek

Browse the full CADE paper archive.