Oi, Eliane.
Além dos livros que indiquei sobre Teoria das Categorias mais relacionados à Lógica e Lambda Cálculo, existem também os seguintes livros sobre o assunto: · Toposes, Triples and Theories de Michael Barr e Charles Wells: http://gigapedia.com/items:links?id=5353; · Tool and Object - A History and Philosophy of Category Theory, de Ralf Krömer: http://gigapedia.com/items:links?id=76195; · "From a Geometrical Point of View - A Study of the History and Philosophy of Category Theory", de Jean-Pierre Marquis: http://gigapedia.com/items:links?id=217015; · Topos Theory, de P.T. Johnstone: http://gigapedia.com/items:links?id=106808; · Sets for Mathematics, de F. William Lawvere e Robert Rosebrugh: http://gigapedia.com/items:links?id=49873; · Elementary Categories, Elementary Toposes, de Colin McLarty: http://gigapedia.com/items:links?id=230789; · Conceptual Mathematics - A first introduction to categories, de F. William Lawvere e Stephen H. Schanuel: http://gigapedia.com/items:links?id=75025; · Categories, Types, and Structures - An Introduction to Category Theory for the Working Computer Scientist, de Andrea Asperti e Giuseppe Longo: http://gigapedia.com/items:links?id=29044; · Category Theory, de Steve Awodey: http://gigapedia.com/items:links?id=64466; · Categories, Allegories, de Peter J. Freyd e Andre Scedrov: http://gigapedia.com/items:links?id=122399; · Categories for the Working Mathematician, de Saunders Mac Lane: http://gigapedia.com/items:links?id=80242; · Practical Foundations of Mathematics, de Paul Taylor: http://gigapedia.com/items:links?id=49260; · Arrows, Structures, and Functors - The Categorical Imperative, de Michael A. Arbib e Ernest G. Manes: http://gigapedia.com/items:links?id=110329. Bom proveito, Arthur Buchsbaum 2009/1/28 Arthur Buchsbaum <[email protected]> Oi, Elaine. Pelo Gigapedia (http://gigapedia.com <http://gigapedia.com/> ) podes obter este e muitos outros livros. Primeiro cadastra-te no Gigapedia, é fácil e gratuito. Seguem liames do Gigapedia para baixar os seguintes livros: · "Introduction to Higher Order Categorical Logic", de J. Lambek e P. J. Scott: http://gigapedia.com/items:links?id=83678; · "Categorical Logic and Type Theory", de B. Jacobs: http://gigapedia.com/items:links?id=84961; · "Topoi - The Categorial Analysis of Logic", de Robert Goldblatt: http://gigapedia.com/items:links?id=49246; · "Combinators, Lambda-Terms and Proof Theory", de Sören Stenlund: http://gigapedia.com/items:links?id=39544; · "Lambda-Calculus and Combinators - an Introduction", de J. Roger Hindley e Jonathan P. Seldin: http://gigapedia.com/items:links?id=138260; · "Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications", de Philippe de Groote e J. Roger Hindley: http://gigapedia.com/items:links?id=114823. a) Arthur Buchsbaum
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
