A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.

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

Description de la librairie

We run a small book shop. If you have any questions about a particular book, please feel free to ask. Thanks for checking out my shop ...

Visitez la page d’accueil du vendeur

Informations commerciales relatives au vendeur :

Broad Street Books
NJ, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're
dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if
the order hasn't
arrived, you're eligible for a refund within 30 days of the estimated delivery
date. If you've changed
your mind about a book that you've ordered, please use the Ask bookseller a
question link to contact
us and we'll respond within 2 business days.

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
acceptés par le vendeur

Visa Mastercard American Express Carte Bleue Apple Pay Google Pay

Ajouter aux demandes de livres

Articles liés à Logic Colloquium '03: Proceedings of the Annual...

Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic) [Hardcover] Stoltenberg-Hansen, Viggo and V

Stoltenberg-Hansen, Viggo [Editor]; Väänänen, Jouko [Editor];

Informations commerciales relatives au vendeur :