| LDR | 01283nam a2200373Ka 4500 | ||
| 001 | 000217782 | ||
| 003 | MiAaHDL | ||
| 005 | 20150330000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 021114s1978 gw a b 001 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a 78326458 |
| 035 | ⊔ | ⊔ | ‡asdr-nrlf.b171763816 |
| 035 | ⊔ | ⊔ | ‡a(SBN)ACB3140 |
| 035 | ⊔ | ⊔ | ‡a(UCD)AFQ-5912 |
| 035 | ⊔ | ⊔ | ‡aGLADN184951934 |
| 035 | ⊔ | ⊔ | ‡a(CSCI)b13983799 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC ‡dCU-SC |
| 090 | ⊔ | ⊔ | ‡aQA9 ‡b.H34 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)4277397 |
| 100 | 1 | ⊔ | ‡aHájek, Petr. |
| 245 | 1 | 0 | ‡aMechanizing hypothesis formation : ‡bmathematical foundations for a general theory / ‡cP. Hájek, T. Havránek. |
| 260 | ⊔ | ⊔ | ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡c1978. |
| 300 | ⊔ | ⊔ | ‡axv, 396 p. : ‡bill. ; ‡c25 cm. |
| 490 | 0 | ⊔ | ‡aUniversitext |
| 500 | ⊔ | ⊔ | ‡aBibliography: p.[387]-396. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical. |
| 650 | ⊔ | 0 | ‡aInduction (Mathematics) |
| 650 | ⊔ | 0 | ‡aArtificial intelligence. |
| 700 | 1 | 0 | ‡aHavránek, Tomáš. |
| CID | ⊔ | ⊔ | ‡a000217782 |
| DAT | 0 | ⊔ | ‡a19140701000000.0 ‡b20150330000000.0 |
| DAT | 1 | ⊔ | ‡a20150513124028.0 ‡b2024-05-18T17:56:52Z |
| DAT | 2 | ⊔ | ‡a2024-05-18T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-NRLF ‡dIII - MILLENIUM ‡lloader.pl-003-020 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-nrlf.b171763816 ‡auc1 ‡bSDR ‡cNRLF ‡puc1.b4497338 ‡sUC ‡1.b171763816 |
| 974 | ⊔ | ⊔ | ‡bUC ‡cNRLF ‡d20240518 ‡sgoogle ‡uuc1.b4497338 ‡y1978 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |