m
MathCongrès

H 0 Sets and proofs

Cooper, S. Barry (Ed.) ; Truss, John K. (Ed.)

Cambridge university Press

1999

ix, 436 p. ; 23 cm

39758

logique ; théorie de la démonstration


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 39758 1019780 PROC 03-06 SET

Sous-titre : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997

ISBN10 : 0-521-63549-7

Type de doc : C

Ville d'édition : Cambridge

Pays d'édition : gb

Langue ouvrage : eng

Collection : London mathematical society lecture note series

N° dans la collection : 258

ISSN Collection : 0076-0552

Bibliographie : Notes bibliogr.

Class. Math. 1991 : 03-06

Nom congres : Logic colloquium

Ville du congrès : Leeds

Pays congres : gb

Année du congres : 1997

ID notice : 0

Lien SUDOC : https://www.sudoc.fr/051980223

Z