Теория формальных систем

Author(s)

• Smullyan, Raymond M.
• Kosovskogo, N. K.
• Shanina, N. A.

Bibliographic Information

Теория формальных систем

Р. Смальян ; перевод с английского, Н.К. Косовского ; под ред. Н.А. Шанина

（Математическая логика и основания математики）

"Наука," Глав. ред. физико-математической лит-ры, 1981

Other Title

Teorii︠a︡ formalʹnykh sistem

Theory of formal systems

Note

Includes bibliographical references (p. [202]-204) and index

Originally published: Princeton : Princeton University Press, 1962

Details

• NCID: BA90015100
• Country Code: ru
• Title Language Code: rus
• Text Language Code: rus
• Original Language Code: eng
• Place of Publication: Москва
• Pages/Volumes: 207 p.
• Size: 20 cm
• Parent Bibliography ID:
  • BA20977603