Algoritmicheskie voprosy formalʹnykh sistem :
materialy k spet︠s︡kursu pri Institute matematiki i kibernetiki AN Litovskoĭ SSR Matematicheskai︠a︡ logika i ee primenenii︠a︡ /
pod redakt︠s︡ieĭ R. Pli︠u︡shki︠a︡vichi︠u︡sa.

Description

Related Names

Pli︠u︡shki︠a︡vichi︠u︡s, R. A.

Language(s)

Russian

Published

Vilʹni︠u︡s : In-t matematiki i kibernetiki AN Litovskoĭ SSR, 1985.

Subjects

Logic, Symbolic and mathematical.
Algorithms.

Note

Summaries in English and Lithuanian; table of contents also in the same languages.
Title on added t.p. in English and Lithuanian: Algorithmic problems of formal systems, Formalių sistemų algoritminiai klausimai.

Physical Description

134 p. ; 23 cm.

Locate a Print Version

Find in a library

Viewability