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 Domain representations of partial functions, with applications to spatial objects and constructive volume geometry J. Blanck 2001 Engelska
2 Effective Cartesian closed categories of domains Göran Hamrin 2001 Engelska
3 Effective Domains and Admissible Domain Representations Göran Hamrin 2005 Engelska
4 Poincaré-Betti series are primitive recursive Calle Jacobsson 1983 Engelska
5 Logicism, Intuitionism, and Formalism - What has Become of Them? Sten Lindström 2009 Engelska
6-7 Logic Colloquium '03 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 (flera utgåvor) Finland) Logic Colloquium (2003 : Helsinki c2006 Engelska
8 Logicism, intuitionism, and formalism - what has become of them? 2009 Engelska
9 Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese library : studies in epistemology, logic, methodology, and philosophy of v. 341) 2009 Okänt
10 Mathematical Theory of Domains 1994 Engelska
11 Hyperfinite type structures Dag Normann 1997 Engelska
12 Domain interpretations of intuitionistic type theory Erik Palmgren 1989 Engelska
13 A logical presentation of the continuous functionals Erik Palmgren 1994 Engelska
14 Logically presented domains Erik Palmgren 1995 Engelska
15 Martin-Löf's type theory Erik Palmgren 1990 Engelska
16 Representability of locally compact spaces by domains and formal spaces Inger Sigstam 1995 Engelska
17 Computability on topological spaces via domain representations Viggo Stoltenberg-Hansen 2007 Engelska
18 Computable rings and fields Viggo Stoltenberg-Hansen 1996 Engelska
19 Effective algebras Viggo Stoltenberg-Hansen 1995 Engelska
20 Equations and fixed points over the projective model Viggo Stoltenberg-Hansen 1987 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.