|
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 | Fixed points in Peano arithmetic with ordinals |
Jäger, Gerhard |
1993 |
60 | 2 |
p. 119-132 14 p. |
artikel |
|
| 2 | Linearizing intuitionistic implication |
Lincoln, Patrick |
1993 |
60 | 2 |
p. 151-177 27 p. |
artikel |
|
| 3 | Loeb extensions and ultrapowers of measures on fragments |
Siu-Ah, Ng |
1993 |
60 | 2 |
p. 179-189 11 p. |
artikel |
|
| 4 | The European Association for Computer Science Logic (EACSL) |
1993 |
60 | 2 |
p. 191-192 2 p. |
artikel |
||
| 5 | Total sets and objects in domain theory |
Berger, Ulrich |
1993 |
60 | 2 |
p. 91-117 27 p. |
artikel |
|
| 6 | Weakly semirecursive sets and r.e. orderings |
Kummer, Martin |
1993 |
60 | 2 |
p. 133-150 18 p. |
artikel |
6 gevonden resultaten