Publications of Paris, J.

Export all publications as EndNote XML
Csirmaz L, Paris J. A property of 2–sorted Peano models and program verification. Zeitschrift für Math. Logik. 1984;(30):325-34.