m
     
MathOuvrage

H 0 Varieties of constructive mathematics

Bridges, Douglas ; Richman, Fred

Cambridge university Press

1987

x-149

23990

mathématiques constructives ; logique symbolique ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 23990 1006661 GALERIE

ISBN10 : 0-521-31802-5

Type de doc : M

Ville d'édition : Cambridge

Langue ouvrage : eng

Collection : London mathematical society lecture note series

N° dans la collection : 097

ISSN Collection : 0076-0552

Class. Math. 1991 : 03Fxx

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

Z