001364531 000__ 02394nam\a2200493\i\4500
001364531 001__ 1364531
001364531 003__ MiAaPQ
001364531 005__ 20210807003518.0
001364531 006__ m\\\\\o\\d\\\\\\\\
001364531 007__ cr\cn\nnnunnun
001364531 008__ 990402s1999\\\\riua\\\\ob\\\\100\0\eng\d
001364531 020__ $$z0821813641 (pbk. : alk. paper)
001364531 020__ $$z9780821813645
001364531 020__ $$a9780821878262 (e-book)
001364531 035__ $$a(MiAaPQ)EBC3113115
001364531 035__ $$a(Au-PeEL)EBL3113115
001364531 035__ $$a(CaPaEBR)ebr10873278
001364531 035__ $$a(OCoLC)922980532
001364531 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ
001364531 050_4 $$aQA76.9.L36$$bB73 1996
001364531 0820_ $$a005.1/01/5113$$221
001364531 1112_ $$aBrazilian Conference on Mathematical Logic$$n(11th :$$d1996 :$$cSalvador, Brazil),$$jissuing body.
001364531 24510 $$aAdvances in contemporary logic and computer science :$$bproceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /$$cWalter A. Carnielli, Itala M.L. D'Ottaviano, editors.
001364531 264_1 $$aProvidence, Rhode Island :$$bAmerican Mathematical Society,$$c1999.
001364531 300__ $$a1 online resource (344 pages) :$$billustrations.
001364531 336__ $$atext$$2rdacontent
001364531 337__ $$acomputer$$2rdamedia
001364531 338__ $$aonline resource$$2rdacarrier
001364531 4901_ $$aContemporary mathematics,$$x0271-4132 ;$$v235
001364531 504__ $$aIncludes bibliographical references.
001364531 506__ $$aAccess limited to authorized users.
001364531 588__ $$aDescription based on print version record.
001364531 650_0 $$aComputer logic$$vCongresses.
001364531 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
001364531 655_0 $$aElectronic books
001364531 7001_ $$aCarnielli, Walter A.$$q(Walter Alexandre),$$eeditor.
001364531 7001_ $$aD'Ottaviano, Itala M. L.,$$d1944-$$eeditor.
001364531 77608 $$iPrint version:$$aBrazilian Conference on Mathematical Logic.$$tAdvances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil.$$dProvidence, Rhode Island : American Mathematical Society, 1999$$z9780821813645$$w(DLC)10873278
001364531 830_0 $$aContemporary mathematics (American Mathematical Society) ;$$v235.
001364531 852__ $$bebk
001364531 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113115$$zOnline Access
001364531 909CO $$ooai:library.usi.edu:1364531$$pGLOBAL_SET
001364531 980__ $$aBIB
001364531 980__ $$aEBOOK
001364531 982__ $$aEbook
001364531 983__ $$aOnline