|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A characterization of Σ 1 1 -reflecting ordinals |
Aguilera, J.P. |
|
172 | 10 |
p. |
artikel |
|
| 2 | A coinductive approach to proof search through typed lambda-calculi |
Espírito Santo, José |
|
172 | 10 |
p. |
artikel |
|
| 3 | A consistency result on long cardinal sequences |
Martínez, Juan Carlos |
|
172 | 10 |
p. |
artikel |
|
| 4 | Editorial Board |
|
172 | 10 |
p. |
artikel |
||
| 5 | Games with finitely generated structures |
Krawczyk, Adam |
|
172 | 10 |
p. |
artikel |
|
| 6 | Linearly ordered sets with only one operator have the amalgamation property |
Lipparini, Paolo |
|
172 | 10 |
p. |
artikel |
|
| 7 | Logics of intuitionistic Kripke-Platek set theory |
Iemhoff, Rosalie |
|
172 | 10 |
p. |
artikel |
|
| 8 | Weaker cousins of Ramsey's theorem over a weak base theory |
Fiori-Carones, Marta |
|
172 | 10 |
p. |
artikel |
8 gevonden resultaten