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: Viggo Stoltenberg-Hansen 27 träffar

Titel Författare År Språk
1 On the computability of Poincaré-Betti series Viggo Stoltenberg-Hansen 1983 Engelska
2 Poincaré-Betti series are primitive recursive Calle Jacobsson 1983 Engelska
3 Equations and fixed points over the projective model Viggo Stoltenberg-Hansen 1987 Engelska
4 Domain interpretations of intuitionistic type theory Erik Palmgren 1989 Engelska
5 Martin-Löf's type theory Erik Palmgren 1990 Engelska
6 Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms Viggo Stoltenberg-Hansen 1992 Engelska
7 A logical presentation of the continuous functionals Erik Palmgren 1994 Engelska
8 Effective algebras Viggo Stoltenberg-Hansen 1995 Engelska
9 Representability of locally compact spaces by domains and formal spaces Inger Sigstam 1995 Engelska
10 Logically presented domains Erik Palmgren 1995 Engelska
11 Computable rings and fields Viggo Stoltenberg-Hansen 1996 Engelska
12 Hyperfinite type structures Dag Normann 1997 Engelska
13-14 Mathematical theory of domains (flera utgåvor) Viggo Stoltenberg-Hansen 1999 Engelska
15 Domain representations of partial functions, with applications to spatial objects and constructive volume geometry J. Blanck 2001 Engelska
16 Effective Cartesian closed categories of domains Göran Hamrin 2001 Engelska
17 Logic Colloquium '03 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 Finland) Logic Colloquium (2003 : Helsinki c2006 Engelska
18 Logicism, intuitionism, and formalism - what has become of them? 2009 Engelska
19 Logicism, Intuitionism, and Formalism - What has Become of Them? Sten Lindström 2009 Engelska
20 Computability on topological spaces via domain representations Viggo Stoltenberg-Hansen 2007 Engelska

1 2 Nästa sida

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.