Items related to Logic Colloquium '86
Synopsis
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers.
"synopsis" may belong to another edition of this title.
Search results for Logic Colloquium '86
Stock Image
Logic Colloquium '86
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 352 pages. 9.00x6.00x0.80 inches. In Stock. Seller Inventory # zk0444557016
Buy New
£ 74.40
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available