Logic Colloquium ’95 Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

Le prix initial était : 145.00 €.Le prix actuel est : 29.00 €.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and…

Passer à la caisse
SKU: RWFOWRX7042677741388
Category:

Description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.

Langue
en
Version
Couverture rigide
Date de sortie initiale
02 mars 2017
Nombre de pages
348
Illustrations
Non

Personnes impliquées

Auteur principal

Johann A. Makowsky

Deuxième auteur

Elena V. Ravve

Rédacteur en chef

Johann A. Makowsky

Deuxième rédacteur

Elena V. Ravve

Editeur principal

Cambridge University Press

Informations sur le fabricant

Nom du fabricant
Mare Nostrum Group B.V.
Adresse électronique du fabricant
gpsr@mare-nostrum.co.uk
Informations sur le fabricant
Les informations du fabricant ne sont actuellement pas disponibles

Autres spécifications

Hauteur de l’emballage
28 mm
Hauteur du produit
32 mm
Largeur d’emballage
158 mm
Largeur du produit
159 mm
Livre d‘étude
Oui
Longueur d’emballage
235 mm
Longueur du produit
235 mm
Poids de l’emballage
635 g
Police de caractères extra large
Non

EAN

EAN
9781107167902

Sécurité des produits

Opérateur économique responsable dans l’UE

Afficher les données

Vous trouverez cet article :

Catégories

Science et nature

Mathématiques

Fondements des mathématiques

Logique mathématique

Livres

Livre, ebook ou livre audio ?

Livre

Disponibilité

Disponible à l’adresse suivante

Langue

Anglais

Type de livre

Hardcover

Produits similaires