Wyniki
-
On definability in Peano arithmetic
Laszlo Csirmaz
Bulletin of the Section of Logic , 8 /3 (1979) s. 148-153 -
Remarks on Floyd-Hoare derivability
Laszlo Csirmaz
Bulletin of the Section of Logic , 9 /3 (1980) s. 131-135 -
Nonstandard runs and program verification
Laszlo Csirmaz
Bulletin of the Section of Logic , 10 /2 (1981) s. 68-74