Oi Bruna. Definitivamente exitem outras pessoas que entendem muito mais do que eu sobre esse assunto, por exemplo, a profa Itala D'Ottavianno da Unicamp. Mas se v me disser o que v conhece sobre algebra de Heyting, Teorema de Godel e semântica de lógica intuicionista, eu poderia guiar você à literatura.
[]s Marcelo 2016-12-15 22:21 GMT-02:00 bruna souza <bruninha_elisab...@hotmail.com>: > Olá, meu nome é Bruna sou aluna da graduação na UFSC, estava olhando o > seu trabalho sobre o que creio eu é a aritmética de Heyting (já que pelo > que pesquisei também há o cálculo de Heyting), porém não tenho muito > conhecimento do assunto, você poderia me sugerir algum livro introdutório > para que eu possa me interar desse modo de fazer aritmética? > > Boa noite, > Bruna > > -- > Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/BLUPR15MB0513E7385B683630F3E2B > 185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BLUPR15MB0513E7385B683630F3E2B185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3mE5RFJc4K%2B9WgGqEeCBWxnEZrAyHN48d--0XVmbJFgw%40mail.gmail.com.
