Articles liés à Logic Colloquium '86

Logic Colloquium '86 - Couverture souple

 
9780444557018: Logic Colloquium '86
Couverture souple
ISBN 10 : 0444557016 ISBN 13 : 9780444557018
Editeur : North Holland, 2012

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
North Holland
Date d'édition
2012
Langue
anglais
ISBN 10 
0444557016
ISBN 13 
9780444557018
Reliure
Broché
Nombre de pages
352
Éditeur
Drake F. R.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible