Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: 1909-1994 Stephen Cole Kleene 10 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Computability, enumerability, unsolvability - directions in recursion theory | 1996 | Engelska | |
| 2 | The foundations of intuitionistic mathematics especially in relation to recursive functions | 1909-1994 Stephen Cole Kleene | 1965 | Engelska |
| 3 | Mathematical logic | 1909-1994 Stephen Cole Kleene | 2002 | Engelska |
| 4 | Formalized recursive functionals and formalized realizability | Stephen Cole Kleene | 1969 | Engelska |
| 5-7 | Introduction to metamathematics (flera utgåvor) | Stephen Cole Kleene | 2009 | Engelska |
| 8 | Mathematical logic | Stephen Cole Kleene | cop. 1967 | Engelska |
| 9 | Two papers on the predicate calculus | Stephen Cole Kleene | 1967 | Engelska |
| 10 | The Kleene symposium - proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A | Kleene Symposium 1978) (Madison : | 1980 | Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.