|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime |
Andréka, Hajnal |
|
173 | 5 |
p. |
artikel |
|
| 2 | Constructive Ackermann's interpretation |
Jeon, Hanul |
|
173 | 5 |
p. |
artikel |
|
| 3 | Editorial Board |
|
173 | 5 |
p. |
artikel |
||
| 4 | From axioms to synthetic inference rules via focusing |
Marin, Sonia |
|
173 | 5 |
p. |
artikel |
|
| 5 | On Guaspari's problem about partially conservative sentences |
Kurahashi, Taishi |
|
173 | 5 |
p. |
artikel |
|
| 6 | Reflection algebras and conservation results for theories of iterated truth |
Beklemishev, Lev D. |
|
173 | 5 |
p. |
artikel |
|
| 7 | The computational complexity of module socles |
Wu, Huishan |
|
173 | 5 |
p. |
artikel |
|
| 8 | The fixed-point property for represented spaces |
Hoyrup, Mathieu |
|
173 | 5 |
p. |
artikel |
|
| 9 | The number of axioms |
Aguilera, J.P. |
|
173 | 5 |
p. |
artikel |
9 gevonden resultaten