Advances in Contemporary Logic and Computer Science : Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil : Contemporary Mathematics - Walter A. Carnielli

Advances in Contemporary Logic and Computer Science : Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

By: Walter A. Carnielli (Editor), Itala M.L. D'Ottaviano (Editor)

Paperback

At a Glance

Paperback


$358.75

or 4 interest-free payments of $89.69 with

 or 

Aims to ship in 15 to 25 business days

When will this arrive by?
Enter delivery postcode to estimate

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, São Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mário 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 authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results.

More in Computer Science

The Nvidia Way : Jensen Huang and the Making of a Tech Giant - Tae Kim
Windows 11 For Seniors For Dummies, 2nd Edition - Curt Simmons
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.50

26%
OFF
Robotics Goes MOOC : Interaction - Bruno Siciliano
Information Governance Technologies : A Guide - William Saffady

RRP $270.00

$243.25

10%
OFF
Fuzzy Methods for Assessment and Decision Making - Michael Gr. Voskoglou

RRP $264.95

$234.95

11%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Ensemble Methods : Foundations and Algorithms - Zhi-Hua, PhD  Zhou

RRP $137.00

$113.90

17%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$31.90

14%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
MRI in Practice : 5th Edition - Catherine Westbrook

RRP $82.95

$54.35

34%
OFF