Logica '94 Proceedings of the 8th International Symposium

Timothy Childers, Ondrej Majer, edd.