Balázs Biró, Ildikó Sain Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1993, v:63, n:3, pp:201-225 [Journal]
Moti Gitik On Measurable Cardinals Violating the Continuum Hypothesis. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1993, v:63, n:3, pp:227-240 [Journal]