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 The foundations of intuitionistic mathematics especially in relation to recursive functions 1909-1994 Stephen Cole Kleene 1965 Engelska
7 Formalized recursive functionals and formalized realizability Stephen Cole Kleene 1969 Engelska
8 Two papers on the predicate calculus Stephen Cole Kleene 1967 Engelska
9 The Kleene symposium - proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A Kleene Symposium 1978) (Madison : 1980 Engelska
10 Computability, enumerability, unsolvability - directions in recursion theory 1996 Engelska
11 Mathematical logic Stephen Cole Kleene cop. 1967 Engelska
12 Mathematical logic 1909-1994 Stephen Cole Kleene 2002 Engelska
13-14 Two papers on the predicate calculus / by S.C. Kleene (flera utgåvor) Stephen Cole Kleene uuuu-uuuu Okänt
15 Mathematical Logic electronic resource Stephen Cole. Kleene uuuu-uuuu Okänt
16 The foundations of intuitionistic mathematics electronic resource : especially in relation to recursive functions Stephen Cole. Kleene uuuu-uuuu Okänt

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.