Stephen Cole Kleene (1909–1994)

* (1) 11.8 (3) Adobe (1) church's thesis (2) Ciencia (1) completeness (1) Computing Science (1) corrected printing (1) discarded 2017-09-04 (1) Filosofía (3) foundations (3) fs (1) Fundamentos de la matemática (3) Galería de la Academia de Venecia (1) Goodreads (2) Grenier (2) Historia de la matemática (1) introduction to logic (1) kontoret (1) Kurt Gödel (1) Libro de texto (2) Lista de deseos (1) Lógica (25) Lógica matemática (9) Matemáticas (44) Mathematics/Logic (4) metalogic (2) Metamatemática (6) Máquina de Turing (2) No ficción (6) Paradoja (2) Por leer (5) quantifiers (1) recursion theory (2) Set Theory and Logic (2) shelves (2) Storage Box 7 (1) Teoría de la computabilidad (1) Teoría de la computación (2) unsolvability (1)