Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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 Ackermann’s substitution method (remixed) Moser, Georg
2006
142 1-3 p. 1-18
18 p.
artikel
2 A model-theoretic characterisation of clique width Blumensath, Achim
2006
142 1-3 p. 321-350
30 p.
artikel
3 Author Index 2006
142 1-3 p. 442-443
2 p.
artikel
4 Canonical structure in the universe of set theory: part two Cummings, James
2006
142 1-3 p. 55-75
21 p.
artikel
5 Classifiable theories without finitary invariants Bouscaren, E.
2006
142 1-3 p. 296-320
25 p.
artikel
6 Coding by club-sequences Asperó, David
2006
142 1-3 p. 98-114
17 p.
artikel
7 Codings of separable compact subsets of the first Baire class Dodos, Pandelis
2006
142 1-3 p. 425-441
17 p.
artikel
8 Computing coproducts of finitely presented Gödel algebras D’Antona, Ottavio M.
2006
142 1-3 p. 202-211
10 p.
artikel
9 Computing interpolants in implicational logics Kanazawa, Makoto
2006
142 1-3 p. 125-201
77 p.
artikel
10 Editorial Board 2006
142 1-3 p. ii-
1 p.
artikel
11 Frege systems for extensible modal logics Jeřábek, Emil
2006
142 1-3 p. 366-379
14 p.
artikel
12 Models of real-valued measurability Fuchino, Sakae
2006
142 1-3 p. 380-397
18 p.
artikel
13 Non-commutative proof construction: A constraint-based approach Andreoli, Jean-Marc
2006
142 1-3 p. 212-244
33 p.
artikel
14 Non-primitive recursive decidability of products of modal logics with expanding domains Gabelaia, D.
2006
142 1-3 p. 245-268
24 p.
artikel
15 On analyzability in the forking topology for simple theories Shami, Ziv
2006
142 1-3 p. 115-124
10 p.
artikel
16 Profinite structures interpretable in fields Krupiński, Krzysztof
2006
142 1-3 p. 19-54
36 p.
artikel
17 Satisfaction of existential theories in finitely presented groups and some embedding theorems Houcine, Abderezak Ould
2006
142 1-3 p. 351-365
15 p.
artikel
18 Square and non-reflection in the context of P κ λ Piper, Greg
2006
142 1-3 p. 76-97
22 p.
artikel
19 The saturation of club guessing ideals Ishiu, Tetsuya
2006
142 1-3 p. 398-424
27 p.
artikel
20 The Skolemization of existential quantifiers in intuitionistic logic Baaz, Matthias
2006
142 1-3 p. 269-295
27 p.
artikel
                             20 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland