| LDR | 01869nam a22003971i 4500 | ||
| 001 | 000687639 | ||
| 003 | MiAaHDL | ||
| 005 | 20250105000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 880718s1975 gw a b 100 0 engx | ||
| 010 | ⊔ | ⊔ | ‡a 75033375 |
| 020 | ⊔ | ⊔ | ‡a0387074163 |
| 035 | ⊔ | ⊔ | ‡a(MiU)990006876390106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990006876390106381 |
| 035 | ⊔ | ⊔ | ‡z(MiU)MIU01000000000000000687639-goog |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)1849004 |
| 035 | ⊔ | ⊔ | ‡a(CaOTULAS)159871756 |
| 035 | ⊔ | ⊔ | ‡a(RLIN)MIUG1849004-B |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph000687639 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC ‡dMiU ‡dUtOrBLW |
| 041 | 0 | ⊔ | ‡aeng ‡afre |
| 050 | 0 | 0 | ‡aQA9.5 ‡b.L35 |
| 082 | 0 | ⊔ | ‡a511/.3 |
| 245 | 0 | 0 | ‡a[Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory : ‡bproceedings of the symposium held in Rome, March 25-27, 1975 / ‡cIAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm. |
| 260 | ⊔ | ⊔ | ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡c1975. |
| 300 | ⊔ | ⊔ | ‡axii, 370 p. : ‡bill. ; ‡c24 cm. |
| 336 | ⊔ | ⊔ | ‡atext ‡btxt ‡2rdacontent |
| 337 | ⊔ | ⊔ | ‡aunmediated ‡bn ‡2rdamedia |
| 338 | ⊔ | ⊔ | ‡avolume ‡bnc ‡2rdacarrier |
| 490 | 0 | ⊔ | ‡aLecture notes in computer science ; ‡v37 |
| 500 | ⊔ | ⊔ | ‡aEnglish or French. |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographies. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aProgramming languages (Electronic computers) ‡vCongresses. ‡0http://id.loc.gov/authorities/subjects/sh2008108876 |
| 650 | ⊔ | 0 | ‡aCombinatory logic ‡vCongresses. |
| 700 | 1 | ⊔ | ‡aBöhm, C. ‡q(Corrado), ‡d1923- ‡0http://id.loc.gov/authorities/names/n81062398 ‡1http://id.loc.gov/rwo/agents/n81062398 |
| 710 | 2 | ⊔ | ‡aIstituto per le applicazioni del calcolo. ‡0http://id.loc.gov/authorities/names/n50069924 ‡1http://id.loc.gov/rwo/agents/n50069924 |
| 899 | ⊔ | ⊔ | ‡a39015002098740 ‡bBuhr B 1390302 |
| CID | ⊔ | ⊔ | ‡a000687639 |
| DAT | 0 | ⊔ | ‡a20241217213056.0 ‡b20250105000000.0 |
| DAT | 1 | ⊔ | ‡a20250106140701.0 ‡b2025-01-07T11:29:16Z |
| DAT | 2 | ⊔ | ‡a2024-12-06T18:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡cmiu ‡dALMA ‡lprepare.pl-004-009 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990006876390106381 ‡aMiU ‡bSDR ‡cMIU ‡f000687639 ‡pmdp.39015002098740 ‡sMIU ‡1990006876390106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20250107 ‡sgoogle ‡umdp.39015002098740 ‡y1975 ‡ric ‡qbib ‡tnon-US bib date1 >= 1930 |