"Logiciens États-Unis Biographies." . . "matematisk logik." . . "Logicians." . . "Lògica matemàtica." . . "Logicians Austria Biography." . . "Logicians United States Biography." . . "MATHEMATICS / Pre-Calculus" . . "Lógica matemática (teoria)" . . "Logiciens Autriche Biographies." . . "Theorema van Gödel." . . "Logistas Estados Unidos Biografía." . . "Lógica simbólica y matemática." . . "Literatura i ciència." . . "Proof theory." . . "Logicians Austria." . . "MATHEMATICS / Essays" . . "Logistas Austria Biografía." . . "Teorema de Gödel." . . "Prueba, Teoría de la." . . "Logiciens." . . "United States." . . "MATHEMATICS / Reference" . . "Austria." . . "Intel·ligència artificial." . . "Lógicos Estados Unidos Biografía." . . "Preuve, Théorie de la." . . "Teoría de la demostración." . . "Logicians United States." . . . . . . . . . . . . . . . . "\"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever\"--Provided by publisher."@en . "\"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever\"--Provided by publisher." . "Kurt Gödel : Jahrhundertmathematiker und grosser Entdecker" . . . . . . . . "Incompleteness" . . . "Gödel : paradoja y vida"@es . "Gödel : paradoja y vida" . . . . . . . . "Biography"@en . "Biography"@es . "Biography" . "Incompleteness : the proof and paradox of Kurt Gödel"@en . "Incompleteness : the proof and paradox of Kurt Gödel" . . . . . . . . . . . . . . . . . . . . . . "Incompleteness : the proof and paradox of Kurt Godel" . . . . . . . "Gödel : Paradoja y vida"@es . . . . "Biografía" . . . . . . . . . . . . . . . "Electronic books" . . . . . . "Biographies" . . "Biographie" . "Kurt Gödel : Jahrhundertmathematiker und großer Entdecker" . "Gödel, paradoja y vida" . "Théorie de la preuve." . . "Lógicos Austria Biografía." . . "Gödel's theorem." . . "Biografias." . .