ANTOLOGIA ORGANIZADA, PREFACIADA E TRADUZIDA POR MANUEL LOURENÇO ANTOLOGIA CONSTITUÍDA PELA TRADUÇÃO DE DIVERSOS ORIGINAIS INGLESES,CUJA MENÇÃO COMPLETA SE ENCONTRA A PÁGINA XCIII INTRODUÇÃO PORTUGUESA AO "TEOREMA DE GÖDEL" BIBLIOGRAFIA ORIGINAL BIBLIOGRAFIA COMPLEMENTAR ADENDA ERRATA ÍNDICE GERAL