m
     
Congrès

H 0 Southeast asian conference on logic
proceedings of the logic conference
Nov. 9-13

Chong, C. T. (Editeur) ; Wicks, M. J. (Editeur)

North-Holland

1983

978-0-444-86706-3

00006849

03-06 ; 03Dxx

analyse non standard # axiome du choix # cardinal grand séquentiellement # combinatoire à valeur booléenne # ensemble # forcing # indécidabilité # manifestation d'attribut # matroide # méthode axiomatique # orthologique # quantification de Henkin # structure # système formel # théorie de la récursion # théorie des modèles # théorème d'approximation de Barwise # équivalence récursive

Ville d'édition : Amsterdam ; N.Y. ; Oxford

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444867063

ISBN : 0-444-86706-6

Collation : 210 p. ; 23 cm ; rel. ; XIII

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0111

Localisation : Colloque 1er étage (SING)

Année de la rencontre : 1981

Ville du congrès : Singapore

Pays du congrès : Singapour

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/SING/1981 00006849

[disponible]
Z