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.
"synopsis" may belong to another edition of this title.
Shipping:
US$ 31.13
From United Kingdom to U.S.A.
Book Description PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CA-9780821813645
Book Description Paperback. Condition: Brand New. 326 pages. 10.00x7.00x0.75 inches. In Stock. Seller Inventory # __0821813641
Book Description paperback. Condition: New. New. book. Seller Inventory # D8S0-3-M-0821813641-6