000717115 000__ 01599cam\a2200421Ii\4500 000717115 001__ 717115 000717115 005__ 20230306140154.0 000717115 006__ m\\\\\o\\d\\\\\\\\ 000717115 007__ cr\cn\nnnunnun 000717115 008__ 141113s2014\\\\sz\a\\\\ob\\\\001\0\eng\d 000717115 020__ $$a9783034808620$$qelectronic book 000717115 020__ $$a3034808623$$qelectronic book 000717115 020__ $$z9783034808613 000717115 0247_ $$a10.1007/978-3-0348-0862-0$$2doi 000717115 035__ $$aSP(OCoLC)ocn895195830 000717115 035__ $$a717115 000717115 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dOCLCQ 000717115 049__ $$aISEA 000717115 050_4 $$aQA9$$b.L475 2014eb 000717115 08204 $$a511.3$$223 000717115 1001_ $$aLi, Wei,$$d1943 June-$$eauthor. 000717115 24510 $$aMathematical logic$$h[electronic resource] :$$bfoundations for information science /$$cWei Li. 000717115 250__ $$aSecond rev. edition. 000717115 264_1 $$aBasel :$$bBirkhäuser,$$c2014. 000717115 300__ $$a1 online resource (xiv, 301 pages) :$$billustrations. 000717115 336__ $$atext$$btxt$$2rdacontent 000717115 337__ $$acomputer$$bc$$2rdamedia 000717115 338__ $$aonline resource$$bcr$$2rdacarrier 000717115 4901_ $$aProgress in computer science and applied logic ;$$vvolume 25 000717115 504__ $$aIncludes bibliographical references and index. 000717115 506__ $$aAccess limited to authorized users. 000717115 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 13, 2014). 000717115 650_0 $$aLogic, Symbolic and mathematical. 000717115 830_0 $$aProgress in computer science and applied logic ;$$vvolume 25. 000717115 85280 $$bebk$$hSpringerLink 000717115 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-0348-0862-0$$zOnline Access 000717115 909CO $$ooai:library.usi.edu:717115$$pGLOBAL_SET 000717115 980__ $$aEBOOK 000717115 980__ $$aBIB 000717115 982__ $$aEbook 000717115 983__ $$aOnline 000717115 994__ $$a92$$bISE