| LDR | 01303cam a2200397 a 4500 | ||
| 001 | 009507371 | ||
| 003 | MiAaHDL | ||
| 005 | 20110201000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 901009s1990 gw 100 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a90-10006 |
| 020 | ⊔ | ⊔ | ‡a0387527532 |
| 020 | ⊔ | ⊔ | ‡a3540527532 (DM57.50) |
| 035 | ⊔ | ⊔ | ‡asdr-nrlfb167802124 |
| 035 | ⊔ | ⊔ | ‡asdr-osu.b25309262 |
| 035 | ⊔ | ⊔ | ‡a009134138 |
| 035 | ⊔ | ⊔ | ‡a.b1177177x ‡bnrlf ‡c- |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC |
| 049 | ⊔ | ⊔ | ‡aCUZC |
| 090 | ⊔ | ⊔ | ‡aQA76.9.M35W67 1989 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)21902084 |
| 111 | 2 | ⊔ | ‡aWorkshop on Computer Science Logic ‡n(3rd : ‡d1989 : ‡cKaiserslautern, Germany) |
| 245 | 1 | 0 | ‡aCSL '89 : ‡b3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October, 1989 : proceedings / ‡c |
| 260 | ⊔ | ⊔ | ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡c1990. |
| 300 | ⊔ | ⊔ | ‡avi, 437 p. ; ‡c25 cm. |
| 490 | 0 | ⊔ | ‡aLecture notes in computer science ; ‡v440 |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical ‡xCongresses. |
| 650 | ⊔ | 0 | ‡aComputer science ‡xMathematics ‡xCongresses. |
| 700 | 1 | 0 | ‡aRichter, Michael M., ‡d1938- |
| 700 | 2 | 0 | ‡a ‡q(Hans) |
| 700 | 1 | 0 | ‡a ‡q(Egon), ‡d1946- |
| CID | ⊔ | ⊔ | ‡a009507371 |
| DAT | 0 | ⊔ | ‡b20110201000000.0 |
| DAT | 1 | ⊔ | ‡a20190128145546.0 ‡b2023-12-22T19:04:51Z |
| CAT | ⊔ | ⊔ | ‡aSDR-NRLF ‡dIII - MILLENIUM ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-nrlfb167802124 ‡auc1 ‡bSDR ‡cNRLF ‡puc1.b4344285 ‡sUC ‡1b167802124 |
| 974 | ⊔ | ⊔ | ‡bUC ‡cNRLF ‡d20231222 ‡sgoogle ‡uuc1.b4344285 ‡y1990 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |
| 974 | ⊔ | ⊔ | ‡bOU ‡cOSU ‡d20240520 ‡sgoogle ‡uosu.32435000116004 ‡y1990 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |