Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010
zbMATH Open1282.03007MaRDI QIDQ366181
Author name not available (Why is that?)
Publication date: 12 September 2013
Published in: Logica Universalis (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Categorical logic, topoi (03G30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06)
Recommendations
- Special issue: Abstract algebraic logic. Selected papers based on the presentations at the 3rd world congress on universal logic (Unilog 2010), Estoril, Portugal, April 22--25, 2010 👍 👎
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009 👍 👎
- Special issue: Selected papers based on the presentations at the international conference in category theory, CT 2010, Genoa, Italy, June 20--26, 2010 👍 👎
- Special issue: Selected papers of the international category theory conference, CT 2007, Carvoeiro, Portugal, June 2007 👍 👎
- Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop (CLAC 2010), Brno, Czech Republic, August 22, 2010 👍 👎
- Special issue: Selected papers based on the presentations at the logic colloquium 2009, Sofia, Bulgaria, July 31 -- August 5, 2009, and the workshop on computability theory 2009 👍 👎
- Editorial 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q366181)
