En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Mathematical intuitionism
introduction to proof theory

Sélection Signaler une erreur
Ouvrage

Dragalin, A. G. (Principal)

American Mathematical Society

1988

978-0-8218-4520-2

00012250

03F55

logique # logique mathematique # logique symbolique # mathematique intuitive

Ville d'édition : Providence ; R.I.

Langue : Anglais

EAN13 : 9780821845202

ISBN : 0-8218-4520-9

Collation : 228 p. ; 23 cm ; Bibliogr. Pp. 201-216 ; Index ; ix ; rel.

Collection : Translations of mathematical monographs

N° de collection : 0067

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00012250 [disponible]
Sélection Signaler une erreur