000701816 000__ 01306cam\a2200361\a\4500 000701816 001__ 701816 000701816 005__ 20210515094747.0 000701816 006__ m\\\\\o\\d\\\\\\\\ 000701816 007__ cr\\u\nnnunnun|| 000701816 008__ 120203s2012\\\\si\\\\\\ob\\\\001\0\eng\d 000701816 010__ $$z 2012359592 000701816 020__ $$z9814360953 000701816 020__ $$z9789814360951 000701816 020__ $$z9789814360968 $$qelectronic book 000701816 035__ $$a(CaPaEBR)ebr10529392 000701816 035__ $$a(OCoLC)785777991 000701816 040__ $$aCaPaEBR$$cCaPaEBR 000701816 05014 $$aBC71$$b.Q45 2012eb 000701816 1001_ $$aQueiroz, Ruy J. G. B. de. 000701816 24514 $$aThe functional interpretation of logical deduction$$h[electronic resource] /$$cRuy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. 000701816 260__ $$aSingapore :$$bWorld Scientific,$$cc2012. 000701816 300__ $$axxxii, 266 p. 000701816 4901_ $$aAdvances in logic ;$$vv. 5 000701816 504__ $$aIncludes bibliographical references (p. 253-264) and index. 000701816 506__ $$aAccess limited to authorized users. 000701816 650_0 $$aLogic. 000701816 650_0 $$aModality (Logic) 000701816 7001_ $$aOliveira, Anjolina G. de. 000701816 7001_ $$aGabbay, Dov M.,$$d1945- 000701816 830_0 $$aAdvances in logic ;$$vv. 5. 000701816 852__ $$bebk 000701816 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10529392$$zOnline Access 000701816 909CO $$ooai:library.usi.edu:701816$$pGLOBAL_SET 000701816 980__ $$aEBOOK 000701816 980__ $$aBIB 000701816 982__ $$aEbook 000701816 983__ $$aOnline