Ispolʹzovanie dinamicheskikh sistem v semantike autoreferentnykh predlozheniĭ /
Saved in:
| OCLC: | 46338742 |
|---|---|
| 主要作者: | |
| 語言: | Russian |
| 出版: |
Moskva :
Vychislitelʹnyĭ ︠t︡sentr RAN,
1997.
|
| 叢編: | Soobshcheni︠i︡a po prikladnoĭ matematike.
|
| 主題: | |
| 格式: | Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01456nam a2200361 a 4500 | ||
|---|---|---|---|
| 001 | in00005597968 | ||
| 003 | OCoLC | ||
| 005 | 20010227153420.0 | ||
| 008 | 010227s1997 ru b 000 0 rus c | ||
| 035 | |a (OCoLC)46338742 | ||
| 040 | |a CRL |c CRL | ||
| 042 | |a pcc | ||
| 049 | |a CRLL | ||
| 090 | |a QA9 | ||
| 099 | |a R-33685 | ||
| 100 | 1 | |a Stepanov, V. A. | |
| 245 | 1 | 0 | |a Ispolʹzovanie dinamicheskikh sistem v semantike autoreferentnykh predlozheniĭ / |c V.A. Stepanov. |
| 260 | |a Moskva : |b Vychislitelʹnyĭ ︠t︡sentr RAN, |c 1997. | ||
| 300 | |a 24 p. ; |c 21 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 Soobshcheni︠i︡a po prikladnoĭ matematike. | |
| 500 | |a At head of title: Rossiĭska︠i︡a akademi︠i︡a nauk. Vychislitelʹnyĭ ︠t︡sentr. | ||
| 500 | |a "Nauchnoe izdanie"--Verso t.p. | ||
| 504 | |a Includes bibliographical references (p. 23-24) | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Semantics (Philosophy) | |
| 650 | 0 | |a Programming languages (Electronic computers) | |
| 907 | |a .b15359979 |b 12-03-21 |c 02-27-01 | ||
| 998 | |a crlm |b 02-27-01 |c m |d - |e - |f rus |g ru |h 0 |i 1 | ||
| 999 | f | f | |i b321d082-e19e-5b1c-9f0d-83b03bc4669d |s 2fc1056b-a477-5311-a12e-30f9fba52780 |t 0 |