Theory of deductive systems and its applications

Web Site CiNii Available at 22 libraries

Bibliographic Information

Title
"Theory of deductive systems and its applications"
Statement of Responsibility
S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
Publisher
  • MIT Press
Publication Year
  • c1987
Book size
24 cm
Other Title
  • Teoriya deduktivnykh system i yeyo primeneniya

Search this Book/Journal

Notes

Translation of: Teoriya deduktivnykh system i yeyo primeneniya

Bibliography: p. [149]-151

Related Books

See more

Details 詳細情報について

Back to top