Bookitis
Join BookitisSave favorites, build lists, and follow creators.
Log InCreate Account

Logic Colloquium 2005

Work detail

Bookitis Pick
Cover for Logic Colloquium 2005
LC
Image source: Open Library
Dag NormannJohn R. SteelCostas DimitracopoulosLudomir NewelskiLogic Colloquium (2005 Athens, Greece)Dag NormannFirst published 20078 editions

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

Search booksOpen lead author

Overview

Shared work-level identity and catalog context.

First publish date 20076 credited authorsSearch language english

Bookitis keeps work pages focused on the shared book identity and the editions that actually belong to it. Unrelated books should not appear here as primary content.

Contributors

People credited with this work in the active catalog.

  • Dag Normann

    Author profile in the active Bookitis catalog

    Open Author

  • John R. Steel

    Author profile in the active Bookitis catalog

    Open Author

  • Costas Dimitracopoulos

    Author profile in the active Bookitis catalog

    Open Author

  • Ludomir Newelski

    Author profile in the active Bookitis catalog

    Open Author

  • Logic Colloquium (2005 Athens, Greece)

    Author profile in the active Bookitis catalog

    Open Author

  • Dag Normann

    Author profile in the active Bookitis catalog

    Open Author

Editions

Publication-specific versions linked to this work only.