Ispolʹzovanie dinamicheskikh sistem v semantike autoreferentnykh predlozheniĭ /

Đã lưu trong:
Chi tiết về thư mục
OCLC:46338742
Tác giả chính: Stepanov, V. A.
Ngôn ngữ:Russian
Được phát hành: Moskva : Vychislitelʹnyĭ ︠t︡sentr RAN, 1997.
Loạt:Soobshcheni︠i︡a po prikladnoĭ matematike.
Những chủ đề:
Logic, Symbolic and mathematical.
Semantics (Philosophy)
Programming languages (Electronic computers)
Định dạng:

Monograph

Note that CRL will digitize material from the collection when copyright allows.

Miêu tả
Mô tả sách:At head of title: Rossiĭska︠i︡a akademi︠i︡a nauk. Vychislitelʹnyĭ ︠t︡sentr.
"Nauchnoe izdanie"--Verso t.p.
Mô tả vật lý:24 p. ; 21 cm.
Thư mục:Includes bibliographical references (p. 23-24)

Những quyển sách tương tự