Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
Balázs Biró, Ildikó SainТом:
63
Рік:
1993
Мова:
english
Сторінки:
25
DOI:
10.1016/0168-0072(93)90148-7
Файл:
PDF, 1.52 MB
english, 1993