1 - The unprovability of consistency : an essay in modal logicBoolos, George (1940-1996)Cote : [05 BOO 79]
