1993 | ||
---|---|---|
5 | Balázs Biró, Ildikó Sain: Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. Ann. Pure Appl. Logic 63(3): 201-225 (1993) | |
1992 | ||
4 | Balázs Biró: Non-Finite-Axiomatizability Results in Algebraic Logic. J. Symb. Log. 57(3): 832-843 (1992) | |
1990 | ||
3 | Balázs Biró: On Generalizations of a Theorem of Vaught. Notre Dame Journal of Formal Logic 31(2): 330-336 (1990) | |
1989 | ||
2 | Balázs Biró: Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. Notre Dame Journal of Formal Logic 30(2): 262-267 (1989) | |
1988 | ||
1 | Balázs Biró, Saharon Shelah: Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. J. Symb. Log. 53(3): 846-853 (1988) |
1 | Ildikó Sain | [5] |
2 | Saharon Shelah | [1] |