Merkliste 
 1 Ergebnisse 
 
1

Recursive number theory 

a development of recursive arithmetic in a logic-free equat...  Studies in Logic and the Foundations of Mathematics ; v. 20;Studies in logic and the foundations of mathematics