|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A simple type theory with partial functions and subtypes 1 1 Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. |
Farmer, William M. |
1993 |
64 | 3 |
p. 211-240 30 p. |
artikel |
|
| 2 | Author index volume 64 (1993) |
1993 |
64 | 3 |
p. 293- 1 p. |
artikel |
||
| 3 | Full intuitionistic linear logic (extended abstract) 1 1 Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. |
Hyland, Martin |
1993 |
64 | 3 |
p. 273-291 19 p. |
artikel |
|
| 4 | Large ideals on small cardinals |
Huberich, Markus |
1993 |
64 | 3 |
p. 241-271 31 p. |
artikel |
|
| 5 | The continuity of cupping to 0' |
Ambos-Spies, Klaus |
1993 |
64 | 3 |
p. 195-209 15 p. |
artikel |
5 gevonden resultaten