|
Journals in DBLP
- Martin Davis
American logic in the 1920s. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1995, v:1, n:3, pp:273-278 [Journal]
- Chris Freiling
How to compute antiderivatives. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1995, v:1, n:3, pp:279-316 [Journal]
- George Boolos
Frege's theorem and the Peano postulates. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1995, v:1, n:3, pp:317-326 [Journal]
- Itay Neeman
Optimal proofs of determinacy. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1995, v:1, n:3, pp:327-339 [Journal]
|