Quantitative comparison of Intuitionistic and Classical logics - full propositional system
Tytuł:
Quantitative comparison of Intuitionistic and Classical logics - full propositional system
Czasopismo:
Rok:
2009
Opis:
Proceedings of Logical Foundations of Computer Science 2009
Strony:
280-294
Tom (seria wydawnicza):
5407
Numer DOI:
10.1007/978-3-540-92687-0_19
Web of science link:
http://apps.webofknowledge.com/full_record.do?product=WOS&search_mode=OneClickSearch&qid=4&SID=X17ChHhnpeE1mNoNeG8&page=1&doc=10
Mathscinet link:
http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&s1=781609&vfpref=html&r=4&mx-pid=2544256