Oi lista, Alguém por acaso consegue baixar um scan desta tese (e mandar ele pra mim)?
THESIS Hyperdoctrines and natural deduction : some connection between proof theory and category theory / Robert A.G. Seely. R. A. G. Seely (Robert Andrew George), 1951- ; University of Cambridge. Department of Pure Mathematics and Mathematical Statistics. 1977. O link pra ela na biblioteca de Cambridge é: http://idiscover.lib.cam.ac.uk/primo-explore/fulldisplay?docid=44CAM_ALMA21352425480003606&context=L&vid=44CAM_PROD&lang=en_US&search_scope=SCOP_CAM_ALL&adaptor=Local%20Search%20Engine&tab=cam_lib_coll&query=any,contains,Seely%20hyperdoctrines&offset=0 o único modo óbvio de baixá-la é logando no iDiscover, que me parece ser um sistema que por default só students and staff de Cambridge conseguem acessar... e não estou conseguindo acessá-la pelos modos não-óbvios que eu conheço... Obrigado! Eduardo Ochs http://angg.twu.net/math-b.html http://angg.twu.net/dednat6.html -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6iF0bHhsLd2efhwo-mWi0b%3DH86rsND9d_A23amzt%3DX2BA%40mail.gmail.com.