Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             11 results found
no title author magazine year volume issue page(s) type
1 A classical view of the intuitionistic continuum Moschovakis, Joan Rand
1996
81 1-3 p. 9-24
16 p.
article
2 Author index volume 81 (1996)am 1996
81 1-3 p. 241-
1 p.
article
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.
article
4 Editorial Board 1996
81 1-3 p. ii-
1 p.
article
5 Effective forcing versus proper forcing Sacks, Gerald E
1996
81 1-3 p. 171-185
15 p.
article
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.
article
7 Preface Nerode, Anil
1996
81 1-3 p. 1-
1 p.
article
8 Priority constructions Shoenfield, J.R
1996
81 1-3 p. 115-123
9 p.
article
9 Realizing Brouwer's sequences Vesley, Richard E
1996
81 1-3 p. 25-74
50 p.
article
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.
article
11 Stephen Cole Kleene — a reminiscence Mac Lane, Saunders
1996
81 1-3 p. 3-7
5 p.
article
                             11 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands