@article{ ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9sb2djb20vZXh0MDIz, title = {Foreword}, journal = {Journal of Logic and Computation}, volume = {26}, number = {1}, pages = {1-6}, author = {Arieli, Ofer and Konikowska, Beata and Rabinovich, Alexander and Zamansky, Anna}, publisher = {Oxford University Press (OUP)}, year = {2016}, issn = {0955-792X}, issn = {1465-363X}, language = {English}, url = {http://dx.doi.org/10.1093/logcom/ext023}, url = {https://katalog.ub.uni-leipzig.de/Record/ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9sb2djb20vZXh0MDIz} }