000476039 000__ 01034cam\a2200289Ia\4500
000476039 001__ 476039
000476039 005__ 20210513165038.0
000476039 006__ m\\\\\o\\d\\\\\\\\
000476039 007__ cr\cn|||||||||
000476039 008__ 100401s2010\\\\ne\a\\\\ob\\\\000\0\eng\d
000476039 020__ $$z9781607500940
000476039 020__ $$z9781607500957
000476039 035__ $$a(CaPaEBR)ebr10375715
000476039 035__ $$a(OCoLC)619195294
000476039 040__ $$aCaPaEBR$$cCaPaEBR
000476039 05014 $$aQA76.9.A96$$bP69 2010eb
000476039 1001_ $$aPozzato, Gian Luca.
000476039 24510 $$aConditional and preferential logics$$h[electronic resource] :$$bproof methods and theorem proving /$$cGian Luca Pozzato.
000476039 260__ $$aAmsterdam :$$bIOS Press,$$cc2010.
000476039 300__ $$aviii, 200 p. :$$bill.
000476039 504__ $$aIncludes bibliographical references.
000476039 506__ $$aAccess limited to authorized users.
000476039 650_0 $$aProof theory.
000476039 650_0 $$aAutomatic theorem proving.
000476039 852__ $$bebk
000476039 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10375715$$zOnline Access
000476039 909CO $$ooai:library.usi.edu:476039$$pGLOBAL_SET
000476039 980__ $$aEBOOK
000476039 980__ $$aBIB
000476039 982__ $$aEbook
000476039 983__ $$aOnline