Catalogue en ligne BUC USTOMB'Doc

Accueil

Vous pouvez faire des propositions d'achat de livres, en utilisant le formulaire en ligne
Vous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.

vous cherchez un livre à la bibliothèque centrale?

Nouvelle recherche

Votre compte

Collection Studies in logic

Editeur :

North-Holland

ISSN :

pas d'ISSN

Documents disponibles dans la collection (2)

Faire une suggestion Affiner la recherche

Computability, complexity, logic / E. BORGER / North-Holland (1989)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

Titre : Computability, complexity, logic : V.128
Type de document : texte imprimé
Auteurs : E. BORGER, Auteur ; J. BARWISE, Auteur ; H. J. KEISLER, Auteur
Editeur : North-Holland
Année de publication : 1989
Collection : Studies in logic
Importance : 592 p.
Format : 25 cm.
ISBN/ISSN/EAN : 978-0-444-87406-1
Note générale : Index.
Langues : Américain (ame)
Catégories : MATHÉMATIQUES:Mathématiques appliquées

Index. décimale : 04-08 Mathématiques appliquées

Computability, complexity, logic : V.128 [texte imprimé] / E. BORGER, Auteur ; J. BARWISE, Auteur ; H. J. KEISLER, Auteur . - North-Holland, 1989 . - 592 p. ; 25 cm.. - (Studies in logic) .
ISBN : 978-0-444-87406-1
Index.
Langues : Américain (ame)
Catégories : MATHÉMATIQUES:Mathématiques appliquées

Index. décimale : 04-08 Mathématiques appliquées

Exemplaires(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

00001000420628 04-08-24 Livre Salle 1 Documentaires Exclu du prêt 59826

Language in action / John VAN BENTHEM / North-Holland (1991)

Public

ISBD

Aucun avis sur cette notice.
Faire une suggestion d'achat

Titre : Language in action : V.130 categories, lambdas and dynamic logic
Type de document : texte imprimé
Auteurs : John VAN BENTHEM, Auteur ; S. ABRAMSKY, Auteur ; J. BARWISE, Auteur
Editeur : North-Holland
Année de publication : 1991
Collection : Studies in logic
Importance : 349 p.
Format : 25 cm.
ISBN/ISSN/EAN : 978-0-444-89000-9
Note générale : Index.
Langues : Anglais (eng)
Catégories : MATHÉMATIQUES:Logique mathématique

Index. décimale : 04-07 Logique mathématique

Language in action : V.130 categories, lambdas and dynamic logic [texte imprimé] / John VAN BENTHEM, Auteur ; S. ABRAMSKY, Auteur ; J. BARWISE, Auteur . - North-Holland, 1991 . - 349 p. ; 25 cm.. - (Studies in logic) .
ISBN : 978-0-444-89000-9
Index.
Langues : Anglais (eng)
Catégories : MATHÉMATIQUES:Logique mathématique

Index. décimale : 04-07 Logique mathématique

Exemplaires(1)

Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité

00001000114734 04-07-06 Livre Salle 1 Documentaires Exclu du prêt 59842