Year | DOI | Venue |
---|---|---|
1998 | 10.1023/A:1005016206457 | Studia Logica |
Keywords | Field | DocType |
Mathematical Logic,Computational Linguistic,Natural Deduction | Discrete mathematics,Algebra,Natural deduction,Mathematics,Lambda,Mathematical logic | Journal |
Volume | Issue | ISSN |
60 | 1 | 1572-8730 |
Citations | PageRank | References |
5 | 0.71 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |