Theory of Deductive Systems and Its Applications

Foundations of Computing

Theory of Deductive Systems and Its Applications

Translated by Michael Gelfond and Vladimir Lifschitz

by S. Yu. Maslov

161 pp., 6 x 9 in,

  • Hardcover
  • 9780262132237
  • Published: April 27, 1987
  • Publisher: The MIT Press

$27.95

Out of print