|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A classical view of the intuitionistic continuum |
Moschovakis, Joan Rand |
1996 |
81 | 1-3 |
p. 9-24 16 p. |
artikel |
|
| 2 | Author index volume 81 (1996)am |
1996 |
81 | 1-3 |
p. 241- 1 p. |
artikel |
||
| 3 | Computation on abstract data types. The extensional approach, with an application to streams |
Feferman, Solomon |
1996 |
81 | 1-3 |
p. 75-113 39 p. |
artikel |
|
| 4 | Editorial Board |
1996 |
81 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 5 | Effective forcing versus proper forcing |
Sacks, Gerald E |
1996 |
81 | 1-3 |
p. 171-185 15 p. |
artikel |
|
| 6 | On the lattices of NP-subspaces of a polynomial time vector space over a finite field |
Nerode, Anil |
1996 |
81 | 1-3 |
p. 125-170 46 p. |
artikel |
|
| 7 | Preface |
Nerode, Anil |
1996 |
81 | 1-3 |
p. 1- 1 p. |
artikel |
|
| 8 | Priority constructions |
Shoenfield, J.R |
1996 |
81 | 1-3 |
p. 115-123 9 p. |
artikel |
|
| 9 | Realizing Brouwer's sequences |
Vesley, Richard E |
1996 |
81 | 1-3 |
p. 25-74 50 p. |
artikel |
|
| 10 | Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels |
Lipton, James |
1996 |
81 | 1-3 |
p. 187-239 53 p. |
artikel |
|
| 11 | Stephen Cole Kleene — a reminiscence |
Mac Lane, Saunders |
1996 |
81 | 1-3 |
p. 3-7 5 p. |
artikel |
11 gevonden resultaten