Logic Colloquium '84 - Couverture souple

 
9780444558268: Logic Colloquium '84

Synopsis

This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

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