Nantilus
Logique moderne
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Logique moderne / Jean-Blaise Grize |
| Publié : |
[Paris] :
Mouton
, cop. 1969-1973 Gauthier-Villars |
| Description matérielle : | 3 vol. (90, 79, 104 p.) |
| Collection : | Mathématiques et sciences de l'homme ; 10, 14, 22 |
| Contenu : | fasc. 1. Logique des propositions et des prédicats, déduction naturelle. fasc. 2. Logique des propositions et des prédicats, tables de vérité et axiomatisation. fasc. 3. Implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski |
| Sujets : |
| LEADER | 01603cam a2200409 4500 | ||
|---|---|---|---|
| 001 | PPN015321215 | ||
| 003 | http://www.sudoc.fr/015321215 | ||
| 005 | 20240314162100.0 | ||
| 010 | |d 15.00F (v. 1) | ||
| 020 | |a US |b 71484330 //r84 | ||
| 035 | |a (OCoLC)556674 | ||
| 035 | |a ocm00556674 | ||
| 100 | |a 19890614g19691973k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a y a 000yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Logique moderne |b Texte imprimé |f Jean-Blaise Grize | |
| 210 | |a [Paris] |c Mouton |c Gauthier-Villars |d cop. 1969-1973 | ||
| 215 | |a 3 vol. (90, 79, 104 p.) |d 23 cm | ||
| 225 | 0 | |a Mathématiques et sciences de l'homme |v 10, 14, 22 | |
| 320 | |a Bibliogr. Index | ||
| 327 | 0 | |a fasc. 1. Logique des propositions et des prédicats, déduction naturelle |a fasc. 2. Logique des propositions et des prédicats, tables de vérité et axiomatisation |a fasc. 3. Implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski | |
| 410 | | | |0 013281623 |t Mathématiques et sciences de l'homme |x 0076-5406 |v 10, 14, 22 | |
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 676 | |a 160 | ||
| 680 | |a QA9 |b .G72 | ||
| 700 | 1 | |3 PPN026903768 |a Grize |b Jean Blaise |f 1922-2013 |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 20171022 |g AFNOR | |
| 915 | |5 441092208:63958280X |b 4356 | ||
| 930 | |5 441092208:63958280X |b 441092208 |a 03C66 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:63958280X |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 4356 |d CMB |e BAP |s d |c 03C66 | ||
| 998 | |a 842449 | ||