
Journals in DBLP
 Leon Henkin
The discovery of my completeness proofs. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1996, v:2, n:2, pp:127158 [Journal]
 Wolfram Pohlers
Pure proof theory, aims, methods and results. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1996, v:2, n:2, pp:159188 [Journal]
 Yeneng Sun
Hyperfinite law of large numbers. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1996, v:2, n:2, pp:189198 [Journal]
 Leo Harrington, Robert I. Soare
Definability, automorphisms, and dynamic properties of computably enumerable sets. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1996, v:2, n:2, pp:199213 [Journal]
