Advances in Contemporary Logic and Computer Science
. Ed(S): Carnielli, Walter A.; D'Ottaviano, Itala M.L.
€ 146.60
FREE Delivery in Ireland
Description for Advances in Contemporary Logic and Computer Science
Paperback. 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.
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.Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their ... 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.Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
American Mathematical Society United States
Number of pages
326
Condition
New
Series
Contemporary Mathematics
Place of Publication
Providence, United States
ISBN
9780821813645
SKU
V9780821813645
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
Reviews for Advances in Contemporary Logic and Computer Science