Items related to Logic Colloquium '86 (LOGIC COLLOQUIM// PROCEEDINGS)
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.
- PublisherElsevier Science Ltd
- Publication date1987
- ISBN 10 0444703268
- ISBN 13 9780444703262
- BindingHardcover
- LanguageEnglish
- Number of pages352
- EditorTruss J. K.
Search results for Logic Colloquium '86 (LOGIC COLLOQUIM// PROCEEDINGS)
Seller Image
Logic Colloquium '86: Proceedings.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
352 pages Ex-Library book in good condition. 9780444703262 Sprache: Englisch Gewicht in Gramm: 788. Seller Inventory # 1159788
Quantity: 1 available
Stock Image
Logic Colloquium '86. Studies in logic and the foundations of mathematics 124.
Published by
Amsterdam [u.a.] : North-Holland, 1988
ISBN 10: 0444703268
ISBN 13: 9780444703262
Used
Hardcover
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germany
Seller rating 5 out of 5 stars
Condition: gut. IX, 342 S., Abb., 23 cm, Bibliotheksexemplar. Sprache: Englisch. Seller Inventory # B229-013
Quantity: 1 available
Stock Image
Logic Colloquium *86 (LOGIC COLLOQUIM// PROCEEDINGS)
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Good. book. Seller Inventory # D8S0-3-M-0444703268-3
Quantity: 1 available