Foundations of constructive mathematics : metamathematical studies

Enregistré dans:
Détails bibliographiques
Auteur principal : Beeson Michael J. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
Publié : Berlin, New York : Springer-Verlag , copyright 1985
Description matérielle : 1 vol. (XXIII-466 p.)
Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge ed. R. Remmert ; Bd. 6
Sujets :
Documents associés : Reproduit comme: Foundations of constructive mathematics
LEADER 01896cam a2200505 4500
001 PPN025826581
003 http://www.sudoc.fr/025826581
005 20190627114000.0
010 |a 3-540-12173-0 
010 |a 0-387-12173-0  |b U.S. 
020 |a US  |b 8410583 
035 |a (OCoLC)424313566 
035 |a ocm10799017 
100 |a 19840521d1985 k y0frey0103 ba 
101 0 |a eng 
102 |a DE  |a US 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Foundations of constructive mathematics  |e metamathematical studies  |f Michael J. Beeson 
210 |a Berlin  |a New York  |c Springer-Verlag  |d copyright 1985 
215 |a 1 vol. (XXIII-466 p.)  |d 25 cm 
225 2 |a Ergebnisse der Mathematik und ihrer Grenzgebiete  |v 3. Folge, Bd. 6 
320 |a Bibliogr. p. [439]-449. Index 
410 | |0 013377221  |t Ergebnisse der Mathematik und ihrer Grenzgebiete  |h 3. Folge  |b Texte imprimé  |f ed. R. Remmert  |c Berlin  |n Springer  |d 1983-...  |v Bd. 6 
456 | |0 186157363  |t Foundations of constructive mathematics  |o metamathematical studies  |f Michael J. Beeson  |c Paris  |n Université Paris Diderot  |n Université Pierre et Marie Curie  |d [201.] 
606 |3 PPN027424847  |a Mathématiques constructives  |2 rameau 
676 |a 511.3  |v 19 
680 |a QA9.56  |b .B44 1985 
686 |a G.m  |2 acm 
686 |a 03Fxx  |c 1991  |2 msc 
700 1 |3 PPN076424650  |a Beeson  |b Michael J.  |f 1945-....  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20190214  |g AFNOR 
915 |5 441092208:639555314  |b 3975 
930 |5 441092208:639555314  |b 441092208  |a 03C120  |j u 
979 |a CCFA 
991 |5 441092208:639555314  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 3975  |d CMB  |e BAP  |s d  |c 03C120 
998 |a 845396