Propositional representation of arithmetic proofs.
Published: 1979
Language: eng
Number of pages: 125