Back to Search Start Over

LINEAR TWO-SORTED ARITHMETIC

Authors :
Helmut Schwichtenberg
Stanley S. Wainer
Source :
Proofs and Computations
Publication Year :
2011
Publisher :
Cambridge University Press, 2011.

Details

Database :
OpenAIRE
Journal :
Proofs and Computations
Accession number :
edsair.doi...........81eb03307c1b255c6e0d4db4450aa759
Full Text :
https://doi.org/10.1017/cbo9781139031905.010