| LDR | 00976nam a22002531a 4500 | ||
| 001 | 002713187 | ||
| 003 | MiAaHDL | ||
| 005 | 20210817000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 931019s1993 enka b 00110 eng d | ||
| 020 | ⊔ | ⊔ | ‡a012095835X |
| 035 | ⊔ | ⊔ | ‡a(MiU)990027131870106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990027131870106381 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)28573765 |
| 035 | ⊔ | ⊔ | ‡a(RLIN)MIUG93-B5371 |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph002713187 |
| 040 | ⊔ | ⊔ | ‡aNNU ‡cNNU |
| 100 | 1 | ⊔ | ‡aBibel, W., ‡d1938- |
| 245 | 1 | 0 | ‡aDeduction : ‡bautomated logic / ‡cby Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella. |
| 260 | ⊔ | ⊔ | ‡aLondon ; ‡aSan Diego : ‡bAcademic Press, ‡cc1993. |
| 300 | ⊔ | ⊔ | ‡a253 p. : ‡bill. ; ‡c24 cm. |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographical references (p. 223-239) and index. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical. |
| 650 | ⊔ | 0 | ‡aAutomatic theorem proving. |
| 700 | 1 | ⊔ | ‡aNeugebauer, Gerd. |
| 700 | 1 | ⊔ | ‡aHölldobler, Steffen, ‡d1957- |
| CID | ⊔ | ⊔ | ‡a002713187 |
| DAT | 0 | ⊔ | ‡a19931019000000.0 ‡b20210817000000.0 |
| DAT | 1 | ⊔ | ‡a20210928060711.0 ‡b2024-02-06T18:37:21Z |
| DAT | 2 | ⊔ | ‡a2024-02-06T18:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990027131870106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015029950451 ‡sMIU ‡1990027131870106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20240206 ‡sgoogle ‡umdp.39015029950451 ‡y1993 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |