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
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A game on Boolean algebras describing the collapse of the continuum Kurilić, Miloš S.
2009
160 1 p. 117-126
10 p.
artikel
2 Distinguished algebraic semantics for t -norm based fuzzy logics: Methods and algebraic equivalencies Cintula, Petr
2009
160 1 p. 53-81
29 p.
artikel
3 Dynamic topological S5 Kremer, Philip
2009
160 1 p. 96-116
21 p.
artikel
4 Editorial Board 2009
160 1 p. ii-
1 p.
artikel
5 Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223] Astier, Vincent
2009
160 1 p. 127-128
2 p.
artikel
6 Full operational set theory with unbounded existential quantification and power set Jäger, Gerhard
2009
160 1 p. 33-52
20 p.
artikel
7 On the strength of dependent products in the type theory of Martin-Löf Garner, Richard
2009
160 1 p. 1-12
12 p.
artikel
8 Organic and tight Cummings, J.
2009
160 1 p. 22-32
11 p.
artikel
9 Syntactic cut-elimination for common knowledge Brünnler, Kai
2009
160 1 p. 82-95
14 p.
artikel
10 The structure of the s -degrees contained within a single e -degree Kent, Thomas F.
2009
160 1 p. 13-21
9 p.
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland