m
     
Congrès

H 0 Models and compatibility :
Invited papers from logic colloquium'97 - european meeting of the association for symbolic logic#July 1997

Cooper barry S. (Editeur) ; Truss John K. (Editeur)

Cambridge University Press

1999

419 p.

978-0-521-63550-9

00022280

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

Ville d'édition : Cambridge ; Melbourne ; New york

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521635509

ISBN : 0-521-63550-0

Collation : 23 cm# broch. ; Bibliogr.

Collection : London mathematical society lecture note series

N° de collection : 0259

Localisation : Collection 1er étage

Nom de la rencontre : Logic colluquium'97

Année de la rencontre : 1997

Ville du congrès : Leeds

Pays du congrès : Grande-Bretagne

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/LEED1997 00022280 [disponible]
Z