La structure algébrique des théories mathématiques
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | La structure algébrique des théories mathématiques / par L. Henkin,... |
Publié : |
Paris, Louvain :
Gauthier-Villars
, 1956 E. Nauwelaerts |
Description matérielle : | 1 vol. (52 p.) |
Collection : | Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris ; 11 |
Sujets : |
LEADER | 01921cam a2200589 4500 | ||
---|---|---|---|
001 | PPN01663523X | ||
003 | http://www.sudoc.fr/01663523X | ||
005 | 20231204055800.0 | ||
020 | |a US |b 57491 /L | ||
035 | |a (OCoLC)459870768 | ||
035 | |a PRITEC.SCDUFC.050481253001 | ||
035 | |a AIC04550033 | ||
035 | |a PRITEC.AIX.011310432001 | ||
035 | |a DYNIX_BUNAN_70197 | ||
035 | |a PRITEC.MARSEILLE.010680121001 | ||
035 | |a ocm01440588 | ||
035 | |a SU056510360001P | ||
100 | |a 19750710h19561956k y0frey0103 ba | ||
101 | 0 | |a fre |2 639-2 | |
102 | |a FR |a BE | ||
105 | |a y a 000yy | ||
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 | |6 z01 |a nga |2 RDAfrCarrier | ||
200 | 1 | |a La structure algébrique des théories mathématiques |f par L. Henkin,... | |
214 | 0 | |a Paris |c Gauthier-Villars |a Louvain |c E. Nauwelaerts |d 1956 | |
215 | |a 1 vol. (52 p.) |d 24 cm | ||
225 | 0 | |a Collection de logique mathématique |i Série A |v 11 | |
320 | |a Bibliogr. p. 52 | ||
410 | | | |0 038004917 |t Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris |x 0530-7554 |v 11 | |
606 | |3 PPN027218740 |a Algèbre |2 rameau | ||
606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
680 | |a QA266 |b .H4 | ||
686 | |a 02.0 |c 1958 |2 msc | ||
686 | |a 03-XX |c 2020 |2 msc | ||
700 | 1 | |3 PPN055795900 |a Henkin |b Leon |f 1921-2006 |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 20231201 |g AFNOR | |
801 | 1 | |a FR |b AIC |c 20011108 | |
801 | 1 | |a FR |b BNF |c 19960511 | |
979 | |a LET | ||
979 | |a PHILO | ||
979 | |a CCFA | ||
915 | |5 441092102:182330753 |a 0081600858 |b 0081600858 | ||
919 | |5 441092102:182330753 |a 0081600858 | ||
930 | |5 441092102:182330753 |b 441092102 |j u | ||
930 | |5 441092208:80461699X |b 441092208 |j u | ||
998 | |a 261062 |