Liste de favoris
La liste de favoris est vide.
Le panier est vide.
Envoi gratuit possible
Envoi gratuit possible
Veuillez patienter - l'impression de la page est en cours de préparation.
La boîte de dialogue d'impression s'ouvre dès que la page a été entièrement chargée.
Si l'aperçu avant impression est incomplet, veuillez le fermer et sélectionner "Imprimer à nouveau".

CSL '87

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
LivreLivre de poche
Classement des ventes 18661dansIntroductions
CHF75.90

Description

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory.

Détails

ISBN/GTIN978-3-540-50241-8
Type de produitLivre
ReliureLivre de poche
ÉditeurSpringer
Date de parution14.09.1988
Edition1988
SérieLecture Notes in Computer Science
No. de série329
Pages356 pages
LangueAnglais
DimensionsLargeur 155 mm, Hauteur 235 mm, Épaisseur 20 mm
Poids540 g
Groupe de produitsInformatique
CatégorieIntroductions
Plus de détails

Série

Evaluations

Auteur

Egon Börger ist Professor für Informatik an der Universität Pisa (Italien) und Alexander-von-Humboldt-Forschungspreisträger.

Plus de produits de Börger, Egon

Editeur

Mot-clé

Recommandations

Recherches récentes