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 QIDQ366181FDOQ366181
Authors:
Publication date: 12 September 2013
Published in: Logica Universalis (Search for Journal in Brave)
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
- scientific article; zbMATH DE number 5880307
- Editorial
- 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 international conference in category theory, CT 2010, Genoa, Italy, June 20--26, 2010
- scientific article; zbMATH DE number 6152731
- Special issue: Selected papers of the international category theory conference, CT 2007, Carvoeiro, Portugal, June 2007
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009
- scientific article
- 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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Categorical logic, topoi (03G30) Proceedings, conferences, collections, etc. pertaining to category theory (18-06)
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)
