Stephen Cole Kleene (1909–1994)

* (1) 11.8 (3) academia (1) Adobe (1) church's thesis (2) Ciència (1) completeness (1) computability theory (1) Computing Science (1) corrected printing (1) discarded 2017-09-04 (1) filosofia (3) foundations (3) foundations of mathematics (3) fs (1) Godel (1) Goodreads (2) Grenier (2) history of mathematics (1) introduction to logic (1) kontoret (1) lògica (25) matemàtiques (44) mathematical logic (9) Mathematics/Logic (4) metalogic (2) metamathematics (6) no ficció (6) paradox (2) pendent de llegir (5) quantifiers (1) recursion theory (2) Set Theory and Logic (2) shelves (2) Storage Box 7 (1) textbook (2) theory of computation (2) Turing machines (2) unsolvability (1) wishlist (1)