|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A nonconservativity result on global choice |
Kaufmann, Matt |
1984 |
27 | 3 |
p. 209-214 6 p. |
artikel |
|
| 2 | Author index volume 27 (1984) |
1984 |
27 | 3 |
p. 309- 1 p. |
artikel |
||
| 3 | Recursive linear orders with recursive successivities |
Moses, Michael |
1984 |
27 | 3 |
p. 253-264 12 p. |
artikel |
|
| 4 | Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity |
Mundici, Daniele |
1984 |
27 | 3 |
p. 265-273 9 p. |
artikel |
|
| 5 | The real-algebraic structure of Scott's model of intuitionistic analysis |
Scowcroft, Philip |
1984 |
27 | 3 |
p. 275-308 34 p. |
artikel |
|
| 6 | Ultrafilters and types on models of arithmetic |
Kirby, L.A.S. |
1984 |
27 | 3 |
p. 215-252 38 p. |
artikel |
6 gevonden resultaten