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: Stephen Cole Kleene 16 träffar

Titel Författare År Språk
1-4 Introduction to metamathematics (flera utgåvor) Stephen Cole Kleene 2009 Engelska
5 The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions (Studies in Logic and the Foundations of Mathematics) Richard Eugene. Vesley 1965 Okänt
6 Computability, enumerability, unsolvability - directions in recursion theory 1996 Engelska
7 The foundations of intuitionistic mathematics especially in relation to recursive functions 1909-1994 Stephen Cole Kleene 1965 Engelska
8 Mathematical logic 1909-1994 Stephen Cole Kleene 2002 Engelska
9 Formalized recursive functionals and formalized realizability Stephen Cole Kleene 1969 Engelska
10 Mathematical logic Stephen Cole Kleene cop. 1967 Engelska
11 The foundations of intuitionistic mathematics electronic resource : especially in relation to recursive functions Stephen Cole. Kleene uuuu-uuuu Okänt
12 Two papers on the predicate calculus Stephen Cole Kleene 1967 Engelska
13-14 Two papers on the predicate calculus / by S.C. Kleene (flera utgåvor) Stephen Cole Kleene uuuu-uuuu Okänt
15 The Kleene symposium - proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A Kleene Symposium 1978) (Madison : 1980 Engelska
16 The Kleene Symposium Kleene Symposium 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.