Search alternatives:
"number theory" » "punumber theory"

1
Published 1981
Springer Netherlands
Table of Contents: ...-Order Derivations: Some Notes on the Metamathematics of First-Order Number Theory -- Constructive...