Matematicheska︠i︡a logika i teori︠i︡a algoritmov /
Bewaard in:
| OCLC: | 11970868 |
|---|---|
| Andere auteurs: | |
| Taal: | Russian |
| Gepubliceerd in: |
Novosibirsk :
Izd-vo "Nauka," Sibirskoe otd-nie,
1982.
|
| Reeks: | Trudy Instituta matematiki,
t. 2. |
| Onderwerpen: | |
| Formaat: | Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01962cam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | in00005524453 | ||
| 003 | OCoLC | ||
| 005 | 19950922172626.0 | ||
| 008 | 830804s1982 ru a b 000 0 ruso | ||
| 010 | |a 83182304 | ||
| 035 | |a (OCoLC)11970868 | ||
| 040 | |a DLC |c DLC |d CRL | ||
| 049 | |a CRLL | ||
| 099 | |a C-32206 t. 2 | ||
| 245 | 0 | 0 | |a Matematicheska︠i︡a logika i teori︠i︡a algoritmov / |c otvetstvennyĭ redaktor S.L. Sobolev. |
| 260 | |a Novosibirsk : |b Izd-vo "Nauka," Sibirskoe otd-nie, |c 1982. | ||
| 300 | |a 174 p. : |b ill. ; |c 26 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 0 | |a Trudy Instituta matematiki, |x 0208-0060 ; |v t. 2. | |
| 500 | |a At head of title: Akademi︠i︡a nauk SSSR. Sibirskoe otdelenie. | ||
| 505 | 0 | |a Predelʹno ėkvivalentnye konstruktiviza︠t︡sii / S.S. Goncharov -- Stroenie reshetok kvazimnogoobraziĭ / V.A. Gorbunov, V.I. Tumanov -- Interpol︠i︡a︠t︡sionna︠i︡a teorema Lindona v modalʹnykh logikakh / L.L. Maksimova -- Klassifika︠t︡si︠i︡a stepennykh nilʹpotentnykh grupp po ėlementarnym svoĭstvam / A.G. M︠i︡asnikov, V.N. Remeslennikov -- Konechno aksiomatiziruemye totalʹno trans︠t︡sendentnye teorii / M.G. Peret︠i︡atʹkin -- Ob indeksnykh mnozhestvakh v ierarkhii Klini--Mostovskogo / V.L. Selivanov -- K teorii sinteza programm / N.N. Nepeĭvoda, D.I. Sviridenko. | |
| 504 | |a Includes bibliographies. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Algorithms. | |
| 700 | 1 | |a Sobolev, S. L. |q (Sergeĭ Lʹvovich), |d 1908- | |
| 907 | |a .b14474979 |b 12-03-21 |c 09-22-95 | ||
| 998 | |a crlm |b 09-22-95 |c m |d - |e - |f rus |g ru |h 0 |i 1 | ||
| 999 | f | f | |i 87ef4dbc-a80b-5f46-9243-1fd8bc34408e |s b7669a62-705d-50b6-9658-5f6e571289e5 |t 0 |