Incompleteness

By Rebecca Goldstein

Subjects: Biography, Goedel, kurt, 1906-1978, Logicians, Logicians--united states--biography, Mathematics, Gödel, kurt, Logicians--austria--biography, Qa29.g58 g65 2005, 510/.92 b, Preuve, Théorie de la, Proof theory, Logiciens, Lógica matemática (teoria), Biografias, Gödel's theorem

Description: