Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop, Reykjavik, Iceland, July, 13, 2008
From MaRDI portal
Publication:553338
zbMath1221.03009MaRDI QIDQ553338
No author found.
Publication date: 27 July 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
