000448199 000__ 01110cam\a2200313\a\4500
000448199 001__ 448199
000448199 005__ 20210513154814.0
000448199 006__ m\\\\\\\\d\\\\\\\\
000448199 007__ cr\cn|||||||||
000448199 008__ 051014s2005\\\\ne\a\\\\sb\\\\001\0\eng\\
000448199 010__ $$z  2005296426
000448199 020__ $$z0120885093 (acid-free paper)
000448199 035__ $$a(CaPaEBR)ebr10190042
000448199 035__ $$a(OCoLC)648323486
000448199 040__ $$aCaPaEBR$$cCaPaEBR
000448199 05014 $$aQA9.54$$b.C86 2005eb
000448199 08204 $$a511.3/6$$222
000448199 1001_ $$aCupillari, Antonella.
000448199 24514 $$aThe nuts and bolts of proofs$$h[electronic resource] /$$cAntonella Cupillari.
000448199 250__ $$a3rd ed.
000448199 260__ $$aAmsterdam ;$$aBoston :$$bElsevier Academic Press,$$cc2005.
000448199 300__ $$axii, 179 p. :$$bill. ;$$c23 cm.
000448199 504__ $$aIncludes bibliographical references (p. 173-176) and index.
000448199 506__ $$aAccess limited to authorized users.
000448199 650_0 $$aProof theory.
000448199 655_7 $$aElectronic books.$$2lcsh
000448199 852__ $$bebk
000448199 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10190042$$zOnline Access
000448199 909CO $$ooai:library.usi.edu:448199$$pGLOBAL_SET
000448199 980__ $$aEBOOK
000448199 980__ $$aBIB
000448199 982__ $$aEbook
000448199 983__ $$aOnline