| LDR | 01094nam a22002651a 4500 | ||
| 001 | 000571846 | ||
| 003 | MiAaHDL | ||
| 005 | 20210817000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 880718s1985 nyua b 00000 eng d | ||
| 020 | ⊔ | ⊔ | ‡a0135614651 |
| 035 | ⊔ | ⊔ | ‡a(MiU)990005718460106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990005718460106381 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)12910486 |
| 035 | ⊔ | ⊔ | ‡a(CaOTULAS)160422633 |
| 035 | ⊔ | ⊔ | ‡a(RLIN)MIUG85-B88640 |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph000571846 |
| 040 | ⊔ | ⊔ | ‡aRPB ‡cRPB |
| 245 | 0 | 0 | ‡aMathematical logic and programming languages / ‡cedited by C.A.R. Hoare and J.C. Shepherdson. |
| 260 | ⊔ | ⊔ | ‡aEnglewood Cliffs, N.J. : ‡bPrenntice-Hall International, ‡cc1985. |
| 300 | ⊔ | ⊔ | ‡a184 p. : ‡bill. ; ‡c24 cm. |
| 500 | ⊔ | ⊔ | ‡a"The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984." |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographical references. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aProgramming languages (Electronic computers) |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical |
| 700 | 1 | ⊔ | ‡aShepherdson, J. C. |
| 700 | 1 | ⊔ | ‡aHoare, C. A. R. ‡q(Charles Antony Richard), ‡d1934- |
| 730 | 0 | ⊔ | ‡aPhilosophical transactions of the Royal Society of London. |
| CID | ⊔ | ⊔ | ‡a000571846 |
| DAT | 0 | ⊔ | ‡a19880718000000.0 ‡b20210817000000.0 |
| DAT | 1 | ⊔ | ‡a20210923183841.0 ‡b2024-08-28T17:40:00Z |
| DAT | 2 | ⊔ | ‡a2024-08-28T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990005718460106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015009792790 ‡sMIU ‡1990005718460106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20240828 ‡sgoogle ‡umdp.39015009792790 ‡y1985 ‡ric ‡qbib ‡tUS bib date1 >= 1929 |