E-Book, Englisch, 389 Seiten, Web PDF
Paris / Wilkie / Wilmers Logic Colloquium '84
1. Auflage 2011
ISBN: 978-0-08-096043-2
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 389 Seiten, Web PDF
ISBN: 978-0-08-096043-2
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.