Algebraic Techniques and the Mechanization of Number Theory
$23.00
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
Presentation of a method by which some simple algebraic peculiarities of the branch of mathematics known as number theory might be incorporated into a machine for generating proofs in number theory.
Show More
Show Less