| 000 | 00467nas a2200133Ia 4500 | ||
|---|---|---|---|
| 999 |
_c49444 _d49444 |
||
| 022 | _aOnline : 1939-0726 | ||
| 245 | _aNotre Dame Journal of Formal Logic [electronic resource]. | ||
| 260 | _bUniversity of Notre Dame | ||
| 546 | _a | ||
| 690 | _aComputer Science | ||
| 856 | _uhttp://www.projecteuclid.org/euclid.ndjfl | ||
| 901 |
_12011 : 0.386 _22012 : 0.431 _32013 : 0.333 _52015 : 0.538 _62016 : 0.311 _72017 : 0.403 |
||
| 942 |
_cEJLS _hCS |
||