Journals in DBLP

Math. Log. Q.
2002, volume: 48, number: 3

1. Thomas G. McLaughlin
   Combinatorial Isols and the Arithmetic of Dekker Semirings. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:323-342 [Journal]
   
2. Tarek Sayed Ahmed
   A Modeltheoretic Solution to a Problem of Tarski. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:343-355 [Journal]
   
3. Karim Nour
   Non Deterministic Classical Logic: The lambda-mu⁺⁺-calculus. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:357-366 [Journal]
   
4. Valeriy Bulitko
   Post's Problem for Reducibilities of Bounded Complexity. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:367-373 [Journal]
   
5. Russell Impagliazzo, Jan Krajícek
   A Note on Conservativity Relations among Bounded Arithmetic Theories. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:375-377 [Journal]
   
6. Laurent Vanderputten
   Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:379-390 [Journal]
   
7. Mohammad Ardeshir, Bardyaa Hesaam
   Every Rooted Narrow Tree Kripke Model of HA is Locally PA. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:391-395 [Journal]
   
8. Tapani Hyttinen
   A Remark on Weakly Compact Cardinals. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:397-402 [Journal]
   
9. Hasan Dalgin, Labib Haddad, Mehmet Terziler
   On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:3, pp:403-412 [Journal]
   
10. Yasuo Kanai
    On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:413-426 [Journal]
    
11. Ramon Jansana
    Full Models for Positive Modal Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:427-445 [Journal]
    
12. Andreas Spillner, Hans-Dietrich Hecker
    Minimizing the Size of Vertexlights in Simple Polygons. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:447-458 [Journal]
    
13. Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
    Monotonically Computable Real Numbers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:459-479 [Journal]