Ispolʹzovanie dinamicheskikh sistem v semantike autoreferentnykh predlozheniĭ /

שמור ב:
מידע ביבליוגרפי
OCLC:46338742
מחבר ראשי: Stepanov, V. A.
שפה:Russian
יצא לאור: Moskva : Vychislitelʹnyĭ ︠t︡sentr RAN, 1997.
סדרה:Soobshcheni︠i︡a po prikladnoĭ matematike.
נושאים:
Logic, Symbolic and mathematical.
Semantics (Philosophy)
Programming languages (Electronic computers)
פורמט:

Monograph

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

תיאור
תאור פריט:At head of title: Rossiĭska︠i︡a akademi︠i︡a nauk. Vychislitelʹnyĭ ︠t︡sentr.
"Nauchnoe izdanie"--Verso t.p.
תיאור פיזי:24 p. ; 21 cm.
ביבליוגרפיה:Includes bibliographical references (p. 23-24)

פריטים דומים