| 000 | 01703nas a2200397 i 4500 | ||
|---|---|---|---|
| 001 | 13689894 | ||
| 003 | StDuBDS | ||
| 005 | 20260610093708.0 | ||
| 007 | cr|||||||||||| | ||
| 008 | 160830c19939999enk|| p|o|||| 0 |2eng|d | ||
| 022 |
_a1368-9894 _y0945-9103 |
||
| 035 | _a(OCoLC)796022236 | ||
| 040 |
_aStDuBDS _beng _cStDuBDS _erda _epn |
||
| 050 | 4 | _aQA9.A1 | |
| 072 | 7 |
_aSCP _2ukslc |
|
| 082 | 0 | 4 |
_a511.305 _223 |
| 245 | 0 | 0 | _aLogic journal of the IGPL. |
| 264 | 3 | 1 |
_aOxford : _bOxford University Press, _c1993- |
| 300 | _a1 online resource | ||
| 310 | _aSix times a year | ||
| 336 |
_atext _2rdacontent |
||
| 337 |
_acomputer _2rdamedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 362 | 1 | _a1993- | |
| 500 | _aTitle change: Bulletin of the IGPL (1993-1994); Journal of the IGPL (1995-1996); Logic Journal of the IGPL (1997-). | ||
| 520 | 8 | _aLogic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering. | |
| 588 | _aDescription based on online resource; title from home page (viewed on August 30, 2016). | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical _vPeriodicals. |
|
| 650 | 7 |
_aPopular Science and Nature. _2ukslc |
|
| 710 | 2 | _aInterest Group in Pure and Applied Logics. | |
| 776 | 0 | 8 |
_iPrint version : _x0945-9103 |
| 780 | 0 | 0 | _tBulletin of the IGPL |
| 780 | 0 | 0 | _tJournal of the IGPL |
| 856 | 4 | 0 |
_3Oxford journals _uhttps://academic.oup.com/jigpal |
| 999 |
_c8939 _d8939 |
||