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ê 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/BLUPR15MB0513E7385B683630F3E2B185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com.
