From if to bi
Vol. 167/2
Samson Abramsky, Jouko Väänänen
The Craig interpolation theorem in abstract model theory
Vol. 164/3
Jouko Väänänen
Volume
Title
Author