Journals in DBLP

Math. Log. Q.
2001, volume: 47, number: 1

1. S. Barry Cooper
   On a Conjecture of Kleene and Post. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:3-33 [Journal]
   
2. Arthur W. Apter
   Some Remarks on Normal Measures and Measurable Cardinals. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:35-44 [Journal]
   
3. Akito Tsuboi
   Random Amalgamation of Simple Theories. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:45-50 [Journal]
   
4. Xizhong Zheng, Klaus Weihrauch
   The Arithmetical Hierarchy of Real Numbers. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:51-65 [Journal]
   
5. Armin Hemmerling
   On P Versus NP for Parameter-Free Programs Over Algebraic Structures. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:67-92 [Journal]
   
6. William Gay, Bing-Yu Zhang, Ning Zhong
   Computability of Solutions of the Korteweg-de Vries Equation. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:93-110 [Journal]
   
7. Radim Belohlávek
   Lattices of Fixed Points of Fuzzy Galois Connections. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:111-116 [Journal]
   
8. Kyriakos Keremedis, Eleftherios Tachtsis
   Compact Metric Spaces and Weak Forms of the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:117-128 [Journal]
   
9. Victor Pambuccian
   Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:1, pp:129-136 [Journal]
   
10. Kosta Dosen, Zoran Petric
    The Maximality of Cartesian Categories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2001, v:47, n:1, pp:137-144 [Journal]