Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             20 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Adjointness in recursion Mulry, Philip S.
 1986
 32 C p. 281-289
9 p.
 artikel
2 A new system of proof-theoretic ordinal functions Buchholz, W.
 1986
 32 C p. 195-207
13 p.
 artikel
3 Author index 1986
 32 C p. 299-
1 p.
 artikel
4 Editorial Board 1986
 32 C p. IFC-
1 p.
 artikel
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.
 artikel
6 Epistemic and intuitionistic formal systems Flagg, R.C.
 1986
 32 C p. 53-60
8 p.
 artikel
7 Fixed-point extensions of first-order logic Gurevich, Yuri
 1986
 32 C p. 265-280
16 p.
 artikel
8 Forking, normalization and canonical bases Pillay, Anand
 1986
 32 C p. 61-81
21 p.
 artikel
9 Generalised algebraic theories and contextual categories Cartmell, John
 1986
 32 C p. 209-243
35 p.
 artikel
10 Graph colorings and recursively bounded Π 1 0-classes Remmel, J.B.
 1986
 32 C p. 185-194
10 p.
 artikel
11 Henkin quantifiers and complete problems Blass, Andreas
 1986
 32 C p. 1-16
16 p.
 artikel
12 Integrating classical and intuitionistic type theory Flagg, Robert C.
 1986
 32 C p. 27-51
25 p.
 artikel
13 Isols and burnside's lemma Dekker, J.C.E.
 1986
 32 C p. 245-263
19 p.
 artikel
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.
 artikel
15 Preface Crossley, J.N.
 1986
 32 C p. 111-
1 p.
 artikel
16 Quantifier elimination in discriminator varieties Point, Francoise
 1986
 32 C p. 83-101
19 p.
 artikel
17 Realizability and recursive set theory McCarty, Charles
 1986
 32 C p. 153-183
31 p.
 artikel
18 Recursion theory and ordered groups Downey, R.G.
 1986
 32 C p. 137-151
15 p.
 artikel
19 Stability of recursive structures in arithmetical degrees Ash, C.J.
 1986
 32 C p. 113-135
23 p.
 artikel
20 Undecidability of L(F ∞) and other lattices of r.e. substructures Downey, R.G.
 1986
 32 C p. 17-26
10 p.
 artikel
                             20 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland