Result 1 to 5 from 5 total
Computational excursions in analysis and number theory. (English)
CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC. 10. New York, NY: Springer. x, 220 p. EUR 69.95/net; sFr 116.00; \sterling 49.00; \$ 69.95 (2002).
1
Diophantine equations in fragments in arithmetic. (English)
Ann. Pure Appl. Logic 38, No.2, 135-170 (1988).
2
Nonstandard models for a fragment of the artihmetic and their decision problem. (English)
Z. Math. Logik Grundlagen Math. 33, 481-483 (1987).
3
A note on a proof of Shepherdson. (English)
Arch. Math. Logik Grundlagenforsch. 23, 55-60 (1983).
4
Some results and problems on weak systems of arithmetic. (English)
Logic colloquium ’77, Proc., Wroclaw 1977, Stud. Logic Found. Math. Vol. 96, 285-296 (1978).
5
Result 1 to 5 from 5 total
Start
Contact
Print
General Help
