Caros colegas:
Tenho no momento livros e artigos digitalizados nas seguintes áreas, séries e editoras. Em algumas poucas um só item, na maioria vários itens, às vezes dezenas. Em Lógica: Álgebra da Lógica, Cursos de Lógicas Deviantes, Cursos e Apresentações Introdutórias, Dicionários e Enciclopédias, Filosofia e Fundamentos da Lógica e da Matemática, Guias e Cursos Abrangentes, Handbook of Philosophical Logic, Handbook of the History of Logic, Handbooks em geral, História da Lógica, Lambda Cálculo e Lógica Combinatória, Language, Proof and Logic, Livros e Artigos Clássicos, Lógica Descritiva, Lógica Difusa e Lógica Polivalente, Lógica e Categorias, Lógica e Linguagem, Lógica e Visualização, Lógica Filosófica, Lógica Indutiva, Lógica Informal e Espírito Crítico, Lógica Jurídica, Lógica Modal, Lógica Não Monotônica, Lógica para Ciência da Computação, Lógica Recreativa e de Campo, Lógica Universal e Lógica Deviante, Paraconsistência, Representação do Conhecimento e Raciocínio, Studies in Logic and Computation, Teoria da Prova, Teoria da Recursão, Teoria dos Conjuntos, Teoria dos Modelos, Teoria dos Tipos, The Journal of Non Classical Logic, Tutoriais da Arte de Provar e vários ainda não classificados nesta área. Em Matemática: Álgebra, Análise e Cálculo Infinitesimal, Análise Numérica, Dicionários e Enciclopédias, Filosofia da Matemática, Formulários e Tabelas, Geometria, Guias e Cursos Abrangentes, Handbooks, História da Matemática, Matemática Discreta e Combinatória, Matemática Recreativa, Probabilidade e Estatística, Teoria das Categorias, Teoria dos Grafos, Teoria dos Números, Topologia, Trigonometria e alguns ainda não classificados. Em Filosofia: A Very Short Introduction, Blackwell, Cambridge, Dicionários e Enciclopédias, Epistemologia e Filosofia da Ciência, Estética, Filosofia Analítica, Filosofia da Linguagem e Semiótica, Filosofia da Crença, História da Filosofia, Introduções, Logic, Epistemology, and the Unity of Science, Metafísica, Oxford, Routledge, State University of New York e vários ainda não classificados. Em Informática: Algorítmica, Dicionários, Filosofia da Computação, História da Computação, Inteligência Artificial e Ciências Cognitivas, Lógica e Programação, Programação em Lógica, Teoria da Computação e alguns ainda não classificados. Em Inglês: Dicionários, Gramática, Guias, História, Referências e Vocabulário. Além destas áreas, também tenho livros, sem subclassificações, nas seguintes áreas: Composição de Documentos Científicos, LaTeX, Física e Ciências Naturais e Português. Ainda estou buscando uma maneira de disponibilizar isto a todos através de liames adequados, de forma que seja fácil ir atualizando assuntos e subassuntos, através dos mesmos liames. É um fruto de vários meses de trabalho, iniciado por alunos meus de pós-graduação. A propósito, as mais recentes aquisições para esta biblioteca podem ser obtidas pelo liame http://ifile.it/shyc0ol/novos.zip. Ele aponta para os seguintes livros: 1) A Cultural History of the English Language, de Gerry Knowles, a ser colocado na pasta Inglês\História. 2) The Oxford Guide to Style, de R. M. Ritter, a ser colocado na pasta Inglês\Guias. 3) The Propositional Logic of Boethius, de Karl Dürr, a ser colocado na pasta Lógica. 4) Games - Unifying Logic, Language, and Philosophy, de Ondrej Majer e outros, a ser colocado na pasta Lógica. 5) Combinatorial Set Theory, de Neil H. Williams, a ser colocado na pasta Lógica\Teoria dos Conjuntos. 6) Combinatorial Set Theory - Partition Relations for Cardinals, de Paul Erdös e outros, a ser colocado na pasta Lógica\Teoria dos Conjuntos. 7) A Logic for Inconsistent Nonmonotonic Reasoning, de Tarcisio Pequeno, a ser colocado na pasta Lógica\Lógica Não Monotônica. 8) Introduction to Model Theory and to the Metamathematics of Algebra, de Abraham Robinson, a ser colocado na pasta Lógica\Teoria dos Modelos. 9) Intuitionistic Logic, Model Theory and Forcing, de Melvin Chris Fitting, a ser colocado na pasta Lógica\Teoria dos Modelos. 10) Large Infinitary Languages - Model Theory, de M.A. Dickmann, a ser colocado na pasta Lógica\Teoria dos Modelos. 11) Non-Standard Analysis, de Abraham Robinson, a ser colocado na pasta Matemática\Análise e Cálculo Infinitesimal. 12) Calculus of Variations, de I.M. Gelfand e S.V. Fomin, a ser colocado na pasta Matemática\Análise e Cálculo Infinitesimal. 13) Trigonometry, de Charles P. McKeague e Mark D. Turner, a ser colocado na pasta Matemática\Trigonometria. 14) The Britannica Guide to the 100 Most Influential Scientists, Introdução por John Gribbin, a ser colocado na pasta Física e Ciências Naturais. 15) New Dictionary of Scientific Biography, de Noretta Koertge, em oito volumes, a ser colocado na pasta Física e Ciências Naturais. 16) Algorithms Sequential and Parallel - A Unified Approach de Russ Miller e Laurence Boxer, a ser colocado na pasta Informática\Algorítmica. a) Arthur Buchsbaum
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
