Journals in DBLP
Bulletin of Symbolic Logic
2003, volume: 9, number: 4
- Mark van Atten, Juliette Kennedy
On the philosophical development of Kurt Gödel. [Citation Graph (0, 0)][DBLP]
Bulletin of Symbolic Logic, 2003, v:9, n:4, pp:425-476 [Journal] - Kosta Dosen
Identity of proofs based on normalization and generality. [Citation Graph (0, 0)][DBLP]
Bulletin of Symbolic Logic, 2003, v:9, n:4, pp:477-503 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002