The computational complexity of some logical theories
Series: MAC TR : -- 144
Publisher: Massachusetts Institute of Technology, Project MAC; 1975.
Published: 1975
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 130
Subjects: Logic, Symbolic and mathematical; Sequential machine theory
Notes: Bibliography: p. 115-117.