[Logica-l] Paper available

Dear Friends, follows a link with a free access of a paper we have written. If it is of your interest, just download it. Best wishes, Regivan > Início da mensagem encaminhada: > > De: Elsevier - Article Status > Assunto: PLEASE TAKE ACTION - Share your article [SCICO_102776] > Data: 29 de

[Logica-l] Paper de López-Escobar

Colegas: alguém teria cópia do seguinte paper, que encontrei uma vez na UNICAMP, e me arrependo até hoje de não ter guardado uma cópia: LÓPEZ-ESCOBAR, E. G. K. Zeno´s paradoxes: pre Godelian incompleteness. Yearbook of the Kurt Gödel Society, 1991. Grato. Frank Sautter -- Você está recebendo

Re: [Logica-l] Paper

Obrigado Claudio. Regivan Prof. Dr. Regivan Hugo Nunes Santiago Group for Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte -

Re: [Logica-l] Paper

Boa tarde Regivan, Fico contente em saber que você está de volta em teoria dos domínios. É uma área belíssima! Vou lhe enviar em privado o artigo que você está procurando. Na minha tese de doutorado eu estudei e citei o artigo "Generalizing Domain Theory" de Mislove. Lhe recomendo esse artigo

[Logica-l] Paper

Caríssimos, Alguém tem o paper: Domains for Computation in Mathematics, Physics and Exact Real Arithmetic Abbas Edalat DOI: https://doi.org/10.2307/42109 Não consigo baixar por aqui. Abraços, Regivan Prof. Dr. Regivan Hugo Nunes Santiago

[Logica-l] Paper Request

Dear Colleagues from Logic-l and Fuzzy-l, is there someone with access in Springer which could send me the following paper? @Article{Claudio1980, author="Claudio, D. M.", title="Contributions to the structure of computer arithmetic", journal="Computing", year="1980", volume="24", number="2",

Re: [Logica-l] Paper do Gentzen

Melhor impossível. Obrigado, German! > Olá Cícero, > > segue o artigo do Gentzen em diversas versões. > > Um abraço, > > German > > ​ > GENTZEN_Collected_papers(arquivo em djvu, conte... > > ​​ >

Re: [Logica-l] Paper do Gentzen

Olá Cícero, segue o artigo do Gentzen em diversas versões. Um abraço, German ​ GENTZEN_Collected_papers(arquivo em djvu, conte... ​​ GENTZEN_Investigantion into logical deduction_M...

[Logica-l] Paper do Gentzen

Caras(os), Saudações cordiais! Alguém teria como disponibilizar ou sabe como posso ter acesso ao "Investigations into Logical Deduction" do Gentzen? Fico muito grato. Abraços! Cícero -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para

[Logica-l] Paper Lukasiewicz

Prezados Alguem teria acesso ao paper On the Principle of Contradiction in Aristotle Jan Lukasiewicz and Vernon Wedin The Review of Metaphysics Vol. 24, No. 3 (Mar., 1971), pp. 485-509 http://www.jstor.org/discover/10.2307/20125812?uid=2uid=4sid=21103604252423 Abracos Abilio

[Logica-l] Paper Lukasiewicz

Prezados Ja recebi duas copias do paper, uma em ingles outra em portugues Obrigado e abracos Abilio -- Forwarded message -- From: Abílio abilio.rodrig...@gmail.com Date: 2014-02-27 13:52 GMT-03:00 Subject: Paper Lukasiewicz To: Lista acadêmica brasileira dos profissionais e

[Logica-l] paper studia logica

Prezados colegas, Alguem o paper Studia Logica Volume 80, Issue 2-3, August 2005 Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research Yaroslav Shramko Abracos Abilio ___ Logica-l mailing list Logica-l@dimap.ufrn.br

[Logica-l] Paper - Lautman

Pessoal Alguém tem o artigo de Albert Lautman New research on the dialectical structure of mathematics? Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com

[Logica-l] PAPER

Caros colegas, alguem poderia conseguir o seguinte paper para mim. Não consigo no portal: Discrete Mathematics Volume 35, Issues 1-3, 1981, Pages 173-184 Regivanb * Prof. Dr. Regivan Hugo Nunes Santiago Group of

Re: [Logica-l] Paper

Caríssimos, muito obrigado pelo retorno. Regivan 2010/5/11 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br Caríssimos, alguém tem o paper do A. Pnueli The Temporal Logic of Programs. Proc. of the 18th IEEE Symposium of Foundations of CS, pp. 46-57. 1977? Grato, Regivan --

[Logica-l] Paper Per Martin Loef

Caríssimos, alguém teria uma versão eletrônica do artigo do Martin Loef: ˜Constructive Mathematics and Computer Programming, acho que uma das versões é da revista Logic, Methodology and Philosophy of Science. Grato pela atenção, Regivan --

[Logica-l] paper van dantzig

Ola para todos. Alguem teria um pdf do txt abaixo? Is 10**(10**10) a finite number? van Dantzig 1956 Dialectica vol.9 p. 273 Abraços A. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l