| LDR | 01819nam a2200337 a 4500 | ||
| 001 | 007844053 | ||
| 003 | MiAaHDL | ||
| 005 | 20100427000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 870123s1985 li b 00000 rusod | ||
| 035 | ⊔ | ⊔ | ‡asdr-nrlf.b139483561 |
| 035 | ⊔ | ⊔ | ‡aGLADN83977923 |
| 035 | ⊔ | ⊔ | ‡aRLINCUBG87-B268 |
| 040 | ⊔ | ⊔ | ‡aCU ‡cCU |
| 041 | 0 | ⊔ | ‡arus ‡benglit |
| 090 | ⊔ | ⊔ | ‡aQA9.58 ‡b.A48 1985 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)21839717 |
| 245 | 0 | 0 | ‡aAlgoritmicheskie voprosy formalʹnykh sistem : ‡bmaterialy k spet︠s︡kursu pri Institute matematiki i kibernetiki AN Litovskoĭ SSR Matematicheskai︠a︡ logika i ee primenenii︠a︡ / ‡cpod redakt︠s︡ieĭ R. Pli︠u︡shki︠a︡vichi︠u︡sa. |
| 260 | 0 | ⊔ | ‡aVilʹni︠u︡s : ‡bIn-t matematiki i kibernetiki AN Litovskoĭ SSR, ‡c1985. |
| 300 | ⊔ | ⊔ | ‡a134 p. ; ‡c23 cm. |
| 490 | 0 | ⊔ | ‡aMatematicheskai︠a︡ logika i ee primenenii︠a︡ ; ‡vvyp. 4 = ‡aMatematinė logika ir jos taikymai ; ‡v4 leidinys = ‡aMathematical logics and its applications ; ‡vissue 4 |
| 500 | ⊔ | ⊔ | ‡aSummaries in English and Lithuanian; table of contents also in the same languages. |
| 500 | ⊔ | ⊔ | ‡aTitle on added t.p. in English and Lithuanian: Algorithmic problems of formal systems, Formalių sistemų algoritminiai klausimai. |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographies. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical. |
| 650 | ⊔ | 0 | ‡aAlgorithms. |
| 700 | 1 | 0 | ‡aPli︠u︡shki︠a︡vichi︠u︡s, R. A. |
| 740 | 0 | 1 | ‡aFormalių sistemų algoritminiai klausimai. |
| 740 | 0 | 1 | ‡aAlgorithmic problems of formal systems. |
| CID | ⊔ | ⊔ | ‡a007844053 |
| DAT | 0 | ⊔ | ‡a19100210000000.0 ‡b20100427000000.0 |
| DAT | 1 | ⊔ | ‡a20120815230114.0 ‡b2023-05-25T18:05:48Z |
| CAT | ⊔ | ⊔ | ‡aSDR-NRLF ‡dIII - MILLENIUM ‡lloader.pl-001-001 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-nrlf.b139483561 ‡auc1 ‡bSDR ‡cNRLF ‡puc1.b4586866 ‡sUC ‡1.b139483561 |
| 974 | ⊔ | ⊔ | ‡bUC ‡cNRLF ‡d20230525 ‡sgoogle ‡uuc1.b4586866 ‡y1985 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |