| Title | A property of 2–sorted Peano models and program verification |
| Publication Type | Journal Article |
| Authors | Csirmaz, L., and J. Paris |
| Journal title | Zeitschrift für Math. Logik |
| Year | 1984 |
| Pages | 325–334 |
| Issue | 30 |
| Language | eng |
| Notes | exported from refbase (http://www.bibliography.ceu.hu/show.php?record=76), last updated on Tue, 19 May 2009 11:40:47 +0200 |
Unit:
Department of Mathematics and its Applications