Articles liés à Logic Colloquium '90: ASL Summer Meeting in Helsinki

Logic Colloquium '90: ASL Summer Meeting in Helsinki - Couverture souple

Livre 12 sur 39: Lecture Notes in Logic
 
9783540570943: Logic Colloquium '90: ASL Summer Meeting in Helsinki

Synopsis

This volume of conference proceedings contains 13 research papers by speakers representing various fields of mathematical logic, ranging from model theory and the philosophy of mathematics to proof and recursion theory and computer science.

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