Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             20 results found
no title author magazine year volume issue page(s) type
1 Adjointness in recursion Mulry, Philip S.
 1986
 32 C p. 281-289
9 p.
 article
2 A new system of proof-theoretic ordinal functions Buchholz, W.
 1986
 32 C p. 195-207
13 p.
 article
3 Author index 1986
 32 C p. 299-
1 p.
 article
4 Editorial Board 1986
 32 C p. IFC-
1 p.
 article
5 Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator Scedrov, Andre
 1986
 32 C p. 103-109
7 p.
 article
6 Epistemic and intuitionistic formal systems Flagg, R.C.
 1986
 32 C p. 53-60
8 p.
 article
7 Fixed-point extensions of first-order logic Gurevich, Yuri
 1986
 32 C p. 265-280
16 p.
 article
8 Forking, normalization and canonical bases Pillay, Anand
 1986
 32 C p. 61-81
21 p.
 article
9 Generalised algebraic theories and contextual categories Cartmell, John
 1986
 32 C p. 209-243
35 p.
 article
10 Graph colorings and recursively bounded Π 1 0-classes Remmel, J.B.
 1986
 32 C p. 185-194
10 p.
 article
11 Henkin quantifiers and complete problems Blass, Andreas
 1986
 32 C p. 1-16
16 p.
 article
12 Integrating classical and intuitionistic type theory Flagg, Robert C.
 1986
 32 C p. 27-51
25 p.
 article
13 Isols and burnside's lemma Dekker, J.C.E.
 1986
 32 C p. 245-263
19 p.
 article
14 On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis Scedrov, Andre
 1986
 32 C p. 291-297
7 p.
 article
15 Preface Crossley, J.N.
 1986
 32 C p. 111-
1 p.
 article
16 Quantifier elimination in discriminator varieties Point, Francoise
 1986
 32 C p. 83-101
19 p.
 article
17 Realizability and recursive set theory McCarty, Charles
 1986
 32 C p. 153-183
31 p.
 article
18 Recursion theory and ordered groups Downey, R.G.
 1986
 32 C p. 137-151
15 p.
 article
19 Stability of recursive structures in arithmetical degrees Ash, C.J.
 1986
 32 C p. 113-135
23 p.
 article
20 Undecidability of L(F ∞) and other lattices of r.e. substructures Downey, R.G.
 1986
 32 C p. 17-26
10 p.
 article
                             20 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands