000847396 000__ 01383cam\a2200397Ia\4500
000847396 001__ 847396
000847396 005__ 20210515153544.0
000847396 006__ m\\\\\o\\d\\\\\\\\
000847396 007__ cr\cn\nnnunnun
000847396 008__ 111221s2012\\\\enka\\\\ob\\\\001\0\eng\d
000847396 020__ $$z0521517699
000847396 020__ $$z9780521517690
000847396 020__ $$z9781139217101
000847396 035__ $$a(MiAaPQ)EBC833389
000847396 035__ $$a(Au-PeEL)EBL833389
000847396 035__ $$a(CaPaEBR)ebr10533191
000847396 035__ $$a(CaONFJC)MIL357983
000847396 035__ $$a(OCoLC)775869745
000847396 040__ $$aMiAaPQ$$cMiAaPQ$$dMiAaPQ
000847396 050_4 $$aQA9.59$$b.S39 2012
000847396 08204 $$a511.352$$223
000847396 1001_ $$aSchwichtenberg, Helmut,$$d1942-
000847396 24510 $$aProof and computations$$h[electronic resource] /$$cHelmut Schwichtenberg, Stanley S. Wainer.
000847396 260__ $$aCambridge :$$bCambridge University Press,$$c2012.
000847396 300__ $$axiii, 465 p. :$$bill.
000847396 4901_ $$aPerspectives in logic
000847396 504__ $$aIncludes bibliographical references and index.
000847396 506__ $$aAccess limited to authorized users.
000847396 650_0 $$aComputable functions.
000847396 650_0 $$aProof theory.
000847396 7001_ $$aWainer, S. S.
000847396 7102_ $$aAssociation for Symbolic Logic.
000847396 830_0 $$aPerspectives in logic.
000847396 852__ $$bebk
000847396 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=833389$$zOnline Access
000847396 909CO $$ooai:library.usi.edu:847396$$pGLOBAL_SET
000847396 980__ $$aEBOOK
000847396 980__ $$aBIB
000847396 982__ $$aEbook
000847396 983__ $$aOnline