Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Material type: TextLanguage: English Series: Studies in logic and the foundations of mathematics; 6Publication details: Amsterdam North-Holland 1957Description: xii,190pSubject(s): DDC classification:- 511.35 St933(6)
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.