| LDR | 01552cas a2200457Ia 4500 | ||
| 001 | 003498669 | ||
| 003 | MiAaHDL | ||
| 005 | 20220216000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 000801c20009999nyuqr p 0 0eng d | ||
| 022 | ⊔ | ⊔ | ‡a1529-3785 |
| 035 | ⊔ | ⊔ | ‡asdr-osu.b52462419 |
| 035 | ⊔ | ⊔ | ‡a.b52462419 |
| 040 | ⊔ | ⊔ | ‡aNDD ‡cNDD ‡dRRR ‡dWaOLN |
| 049 | ⊔ | ⊔ | ‡aOSUU |
| 090 | ⊔ | ⊔ | ‡aQA76.9.L63 ‡bC64 |
| 090 | ⊔ | ⊔ | ‡aQA76.9.L63 ‡bC64 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)44695982 |
| 245 | 0 | 0 | ‡aACM transactions on computational logic. |
| 246 | 1 | 3 | ‡aTOCL. |
| 246 | 3 | 0 | ‡aComputational logic. |
| 260 | ⊔ | ⊔ | ‡aNew York, NY : ‡bAssociation for Computing Machinery, ‡cc2000- |
| 300 | ⊔ | ⊔ | ‡av. ; ‡c26 cm. |
| 310 | ⊔ | ⊔ | ‡aQuarterly. |
| 362 | 0 | ⊔ | ‡aVol. 1, no. 1 (July 2000)- |
| 530 | ⊔ | ⊔ | ‡aAlso available online. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aComputer science ‡xMathematics ‡vPeriodicals. |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical ‡vPeriodicals. |
| 650 | ⊔ | 0 | ‡aComputer logic ‡vPeriodicals. |
| 710 | 2 | ⊔ | ‡aAssociation for Computing Machinery. |
| 776 | 1 | ⊔ | ‡tACM transactions on computational logic (Online) ‡x1529-3785 ‡w(OCoLC)45535868. |
| CID | ⊔ | ⊔ | ‡a003498669 |
| DAT | 0 | ⊔ | ‡a20181023000000.0 ‡b20220216000000.0 |
| DAT | 1 | ⊔ | ‡a20220216154946.0 ‡b2024-05-01T17:35:14Z |
| DAT | 2 | ⊔ | ‡a2024-05-01T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-OSU ‡dIII - SIERRA ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aSE |
| HOL | ⊔ | ⊔ | ‡0sdr-osu.b52462419 ‡aosu ‡bSDR ‡cOSU ‡posu.32435081454654 ‡sOU ‡zv.11 2010 ‡1.b52462419 |
| 974 | ⊔ | ⊔ | ‡bOU ‡cOSU ‡d20240501 ‡sgoogle ‡uosu.32435081454654 ‡zv.11 2010 ‡y2010 ‡ric ‡qbib ‡tUS serial item date >= 1929 |