IPM - Institute for Research in Fundamental Sciences

“Gallery of Visitors”

W. Ruitenburg

Visit Status


Invited by:	School of Mathematics


1.	W. Ruitenburg and M. Ardeshir Basic propositional calculus II: Interpolation Arch. Math. Logic 40 (2001), 349-364 [abstract]


2.	W. Ruitenburg and M. Ardeshir Basic propositional calculus I Math. Logic Quart. 44 (1998), 317-343 [abstract]