Notice bibliographique

  • Notice
000 nam 22 3 450
001 FRBNF446888110000000
003 http://catalogue.bnf.fr/ark:/12148/cb44688811h
010 .. $a 9783540386490
035 .. $a OCoLC891028127
100 .. $a 20170801d1981 m y0frey50 ba
101 0. $a eng
102 .. $a DE
105 .. $a a z 00|y|
106 .. $a s $a z
135 .. $a dru||||||||||
181 .0 $6 01 $a i $b xxxe
181 .. $6 02 $c txt $2 rdacontent
182 .0 $6 01 $a b
182 .. $6 02 $c c $2 rdamedia
200 1. $a Iterated inductive definitions and subsystems of analysis $b Texte électronique $e recent proof-theoretical studies $f Wilfried Buchholz ... [et al.]
210 .. $a Berlin $c Springer-Verlag $d 1981
215 .. $a 1 ressource dématérialisée
225 1. $a Lecture notes in mathematics $v 897
300 .. $a Description d'après la version imprimée.
606 .. $3 12267031 $a Théorie de la démonstration $2 rameau
606 .. $3 11965690 $a Logique mathématique $2 rameau
606 .. $3 11932434 $a Mathématiques $2 rameau
606 .. $3 11932102 $a Induction (mathématiques) $2 rameau
606 .. $3 11978346 $a Analyse mathématique $x Fondements $2 rameau
606 .. $3 13162663 $a Analyse mathématique $2 rameau
676 .. $a 512.7 $v 23
702 .| $3 17198566 $a Buchholz $b Wilfried $f 1948-.... $4 570
801 .3 $a US $b OCoLC $c 20170801 $h 891028127 $2 marc21
801 .0 $b UQ1
930 .. $5 FR-759999999:44688811001001 $a ACQNUM-70577 $b 759999999 $c Document numérisé $d N


Télécharger/Imprimer
Envoyer par courriel
Exporter dans un tableau
Transférer pour un SGB
Ajouter à mes références
Signaler une erreur sur cette notice

Localiser ce document(1 Exemplaire)

Document numérique : 

1 partie d'exemplaire regroupée

ACQNUM-70577
support : document électronique dématérialisé

Consulter en ligne
En savoir plus