|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adding clubs with square |
Krueger, John |
2006 |
141 | 1-2 |
p. 1-28 28 p. |
artikel |
|
| 2 | Bounding computably enumerable degrees in the Ershov hierarchy |
Li, Angsheng |
2006 |
141 | 1-2 |
p. 79-88 10 p. |
artikel |
|
| 3 | Categoricity in abstract elementary classes with no maximal models |
VanDieren, Monica |
2006 |
141 | 1-2 |
p. 108-147 40 p. |
artikel |
|
| 4 | Coherence for star-autonomous categories |
Došen, Kosta |
2006 |
141 | 1-2 |
p. 225-242 18 p. |
artikel |
|
| 5 | CZF and Second Order Arithmetic |
Lubarsky, Robert S. |
2006 |
141 | 1-2 |
p. 29-34 6 p. |
artikel |
|
| 6 | Editorial Board |
2006 |
141 | 1-2 |
p. ii- 1 p. |
artikel |
||
| 7 | Effective categoricity of equivalence structures |
Calvert, Wesley |
2006 |
141 | 1-2 |
p. 61-78 18 p. |
artikel |
|
| 8 | Elementary canonical formulae: extending Sahlqvist’s theorem |
Goranko, Valentin |
2006 |
141 | 1-2 |
p. 180-217 38 p. |
artikel |
|
| 9 | Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation |
Montagna, Franco |
2006 |
141 | 1-2 |
p. 148-179 32 p. |
artikel |
|
| 10 | On modal logic of deductive closure |
Naumov, Pavel |
2006 |
141 | 1-2 |
p. 218-224 7 p. |
artikel |
|
| 11 | Quasi-apartness and neighbourhood spaces |
Ishihara, Hajime |
2006 |
141 | 1-2 |
p. 296-306 11 p. |
artikel |
|
| 12 | Quotient topologies in constructive set theory and type theory |
Ishihara, Hajime |
2006 |
141 | 1-2 |
p. 257-265 9 p. |
artikel |
|
| 13 | Remarks on isomorphisms in typed lambda calculi with empty and sum types |
Fiore, Marcelo |
2006 |
141 | 1-2 |
p. 35-50 16 p. |
artikel |
|
| 14 | Strongly uniform bounds from semi-constructive proofs |
Gerhardy, Philipp |
2006 |
141 | 1-2 |
p. 89-107 19 p. |
artikel |
|
| 15 | The ibT degrees of computably enumerable sets are not dense |
Barmpalias, George |
2006 |
141 | 1-2 |
p. 51-60 10 p. |
artikel |
|
| 16 | The three dimensions of proofs |
Guiraud, Yves |
2006 |
141 | 1-2 |
p. 266-295 30 p. |
artikel |
|
| 17 | Typing in reflective combinatory logic |
Krupski, Nikolai |
2006 |
141 | 1-2 |
p. 243-256 14 p. |
artikel |
17 gevonden resultaten