Cours de logique mathematique : 1 Relation, formule logique, compacite, completude
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Cours de logique mathematique. 1, Relation, formule logique, compacite, completude |
Publié : |
Paris, Louvain :
Gauthier-Villars
, 1967 E. Nauwelaerts |
Description matérielle : | XII-186 p. |
Collection : | Collection de logique mathematique ; 23 |
Titre de l'ensemble : | Collection de logique mahématique vol. 23 |
Sujets : |
LEADER | 01310nam a2200373 4500 | ||
---|---|---|---|
001 | PPN064687333 | ||
005 | 20220329120300.0 | ||
009 | DYNIX_BUNAN_98223 | ||
035 | |a XXXJ000000000295200000 | ||
100 | |a d1967 u fre 0103 | ||
101 | |a fre | ||
102 | |a FR | ||
200 | 1 | |a Cours de logique mathematique |h 1 |i Relation, formule logique, compacite, completude | |
210 | |a Paris |c Gauthier-Villars |a Louvain |c E. Nauwelaerts |d 1967 | ||
215 | |a XII-186 p. |d 24 cm | ||
225 | 1 | |a Collection de logique mahématique |i Série A |v 23 | |
410 | |t Collection de logique mathematique |v 23 | ||
606 | 0 | 0 | |a Logique mathématique |
700 | 1 | |a Fraisse |b Roland | |
801 | |a FR |b DYNIX_BUNAN |c 19991115 |g AFNOR | ||
801 | 3 | |a FR |b Abes |c 20180222 |g AFNOR |h 015847438 | |
801 | 3 | |a FR |b Abes |c 20180222 |g AFNOR |h 007627394 | |
801 | 3 | |a FR |b Abes |c 20180222 |g AFNOR |h 135234670 | |
801 | 3 | |a FR |b Abes |c 20180222 |g AFNOR |h 02209864X | |
801 | 3 | |a FR |b SF |g AFNOR | |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 1 | |a FR |b AIC |c 20011108 | |
801 | 1 | |a FR |b BNF |c 19960511 | |
852 | |a 441092104 |h 517.1 FRA |g B 16 a (23) | ||
979 | |a PHILO | ||
979 | |a CFV | ||
993 | |a 1160062213 |b SCI |c 510.6 FRA |d EM |e MAGSCI |f I |g 09-04-1993 |h 23-04-1996 |i 11-07-2002 |o 29-10-1997 |p 3 |s B 16 a (23) |t EM |u SCMAG |v i | ||
998 | |a 282651 |