Recursive number theory;
Subtitle: A development of recursive arithmetic in a logic-free equation calculus
Publisher: North-Holland Pub. Co
Published: 1957-01-01