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 |