# How to locate the paper that established Robinson Arithmetic?

If I'm not mistaken, it was in his seminal paper “An Essentially Undecidable Axiom System”, published in

Proceedings of the International Congress of Mathematics (1950), 729–730,

where R.M. Robinson proved that Gödel Incompleteness Theorem still applies to Peano Axioms if we drop the induction schema (hence showing that infinite axiomatization is not necessary for essential undecidability), in what we now call Robinson Arithmetic.

I would like to know:

• Is actually this paper what I should be looking for?
• Can it be found anywhere on the net? (I already tried on MathSciNet, SpringerLink, JSTOR and Google Scholar, without success)
• Can anyone pinpoint to closely related, or at least similar, accessible papers?

(Note: I already have the book "Undecidable theories", which he published in collaboration with Tarski, but I'd prefer to locate papers about 'Robinson theory', specifically).

-
Two related papers are - Jones & Shepherdson, Variants of Robinson's essentially undecidable theory ${\rm R}$. MR0710365 - Vaught, On a theorem of Cobham concerning undecidable theories, MR0156788 –  François G. Dorais Jul 5 '10 at 20:24
All the ICM Proceedings can now be found, and searched, at mathunion.org/ICM –  John Stillwell Sep 15 '10 at 21:11
All the proceedings of the ICMs: mathunion.org/ICM –  Felipe Voloch Sep 15 '10 at 21:12
One can easily find the cited work via the links given by John Stillwell and Felipe Voloch. However, it is only a one-page abstract. It seems that contributed papers were not actually printed in the Proceedings? –  Nate Eldredge Sep 15 '10 at 21:37