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

Hardcover

$27.95

Hardcover

ISBN: 9780262132237

Pub date: April 27, 1987

Publisher: The MIT Press

161 pp., 6 x 9 in,

161 pp., 6 x 9 in,

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

$27.95

Out of print