|
Journals in DBLP
- Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
The prospects for mathematical logic in the twenty-first century. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:169-196 [Journal]
- Jan Krajícek
Tautologies from pseudo-random generators. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:197-212 [Journal]
- Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
On the unusual effectiveness of logic in computer science. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:213-236 [Journal]
- Lorenz Halbeisen, Saharon Shelah
Relations between some cardinals in the absence of the Axiom of Choice. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:237-261 [Journal]
- Raf Cluckers, Deirdre Haskell
Grothendieck rings of Z-valued fields. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:262-269 [Journal]
|