Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil
This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of Professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians.
Read More
This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of Professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians.
Read Less
Add this copy of Advances in Contemporary Logic and Computer Science: to cart. $177.50, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1999 by American Mathematical Society(RI).
Add this copy of Advances in Contemporary Logic and Computer Science to cart. $188.56, new condition, Sold by Kennys.ie rated 4.0 out of 5 stars, ships from Galway, IRELAND, published 1999 by American Mathematical Society(RI).
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. This book presents research on several aspects of model theory, proof theory, algebraic logic, category theory, and connections between logic and computer science. Editor(s): Carnielli, Walter A.; D'Ottaviano, Itala M.L. Series: Contemporary Mathematics. Num Pages: 326 pages, Illustrations. BIC Classification: PBCD; PBW. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 595. 1999. Paperback.....We ship daily from our Bookshop.
Add this copy of Advances in Contemporary Logic and Computer Science to cart. $197.64, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1999 by American Mathematical Society(RI).
