Theory of deductive systems and its applications /

Bibliographic Details

Main Author:	Maslov, S. I͡U. (Sergeĭ I͡Urʹevich)
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1987]
Series:	MIT Press series in the foundations of computing.
Subjects:	Logic, Symbolic and mathematical. Algorithms. Machine theory. Artificial intelligence.