|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A blend of methods of recursion theory and topology |
Kalantari, Iraj |
2003 |
124 | 1-3 |
p. 141-178 38 p. |
artikel |
|
| 2 | A second-order system for polytime reasoning based on Grädel's theorem |
Cook, Stephen |
2003 |
124 | 1-3 |
p. 193-231 39 p. |
artikel |
|
| 3 | Author Index |
2003 |
124 | 1-3 |
p. 301- 1 p. |
artikel |
||
| 4 | Editorial Board Page |
2003 |
124 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 5 | Independence of Boolean algebras and forcing |
Kurilić, Miloš S. |
2003 |
124 | 1-3 |
p. 179-191 13 p. |
artikel |
|
| 6 | Induction–recursion and initial algebras |
Dybjer, Peter |
2003 |
124 | 1-3 |
p. 1-47 47 p. |
artikel |
|
| 7 | Inductively generated formal topologies |
Coquand, Thierry |
2003 |
124 | 1-3 |
p. 71-106 36 p. |
artikel |
|
| 8 | Intuitionistic axiomatizations for bounded extension Kripke models |
Ardeshir, Mohammad |
2003 |
124 | 1-3 |
p. 267-285 19 p. |
artikel |
|
| 9 | Local coherence |
König, Bernhard |
2003 |
124 | 1-3 |
p. 107-139 33 p. |
artikel |
|
| 10 | Repairing the interpolation theorem in quantified modal logic |
Areces, Carlos |
2003 |
124 | 1-3 |
p. 287-299 13 p. |
artikel |
|
| 11 | SH plus CH does not imply stationary antichains |
Schlindwein, Chaz |
2003 |
124 | 1-3 |
p. 233-265 33 p. |
artikel |
|
| 12 | Using the prover ANDP to simplify orthogonality |
Li, Dafa |
2003 |
124 | 1-3 |
p. 49-70 22 p. |
artikel |
12 gevonden resultaten