Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic”

dc.contributor.author	Dyckhoff, Roy
dc.contributor.author	Negri, Sara
dc.date.accessioned	2018-04-10T09:30:06Z
dc.date.available	2018-04-10T09:30:06Z
dc.date.issued	2017-07-17
dc.identifier	252755790
dc.identifier	fe5d5a40-8978-47c5-a85e-4f860b19e953
dc.identifier.citation	Dyckhoff , R & Negri , S 2017 , ' Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic” ' , Journal of Applied Logics — IfCoLoG Journal of Logics and their Applications , vol. 4 , no. 4 , pp. 1235-1238 . < http://www.collegepublications.co.uk/journals/ifcolog/?00013 >	en
dc.identifier.issn	2055-3706
dc.identifier.uri	https://hdl.handle.net/10023/13101
dc.format.extent	4
dc.format.extent	317193
dc.language.iso	eng
dc.relation.ispartof	Journal of Applied Logics — IfCoLoG Journal of Logics and their Applications	en
dc.subject	BC Logic	en
dc.subject	QA75 Electronic computers. Computer science	en
dc.subject	T-NDAS	en
dc.subject.lcc	BC	en
dc.subject.lcc	QA75	en
dc.title	Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic”	en
dc.type	Journal article	en
dc.contributor.institution	University of St Andrews. School of Computer Science	en
dc.contributor.institution	University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra	en
dc.description.status	Peer reviewed	en
dc.identifier.url	http://www.collegepublications.co.uk/journals/ifcolog/?00013	en