Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Almost universal cupping and diamond embeddings Liu, Jiang
2012
163 6 p. 717-729
13 p.
artikel
2 Computability in Europe 2010 Ferreira, Fernando
2012
163 6 p. 621-622
2 p.
artikel
3 Computable fields and the bounded Turing reduction Steiner, Rebecca M.
2012
163 6 p. 730-742
13 p.
artikel
4 Contents 2012
163 6 p. iv-
1 p.
artikel
5 Effectively closed mass problems and intuitionism Higuchi, Kojiro
2012
163 6 p. 693-697
5 p.
artikel
6 Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal De Smet, Michiel
2012
163 6 p. 669-680
12 p.
artikel
7 Streamlined subrecursive degree theory Kristiansen, Lars
2012
163 6 p. 698-716
19 p.
artikel
8 The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma Brattka, Vasco
2012
163 6 p. 623-655
33 p.
artikel
9 The limits of tractability in Resolution-based propositional proof systems Dantchev, Stefan
2012
163 6 p. 656-668
13 p.
artikel
10 The Peirce translation Escardó, Martín
2012
163 6 p. 681-692
12 p.
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland