Nantilus
Logique moderne : Fascicule I Logique des propositions et des prédicats, déduction naturelle
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Logique moderne. Fascicule I, Logique des propositions et des prédicats, déduction naturelle / Jean-Blaise Grize |
| Publié : |
Paris, La Haye, Paris :
Mouton
, C 1969 Gauthier-Villars |
| Description matérielle : | 1 vol. (90 p.) |
| Collection : | Mathématiques et sciences de l'homme ; 10 |
| Sujets : |
| LEADER | 02301cam a2200673 4500 | ||
|---|---|---|---|
| 001 | PPN022668853 | ||
| 003 | http://www.sudoc.fr/022668853 | ||
| 005 | 20240904055200.0 | ||
| 010 | |b Br. |d 15 FRF | ||
| 020 | |a FR |b 07514044 | ||
| 035 | |a 071841040 |9 sudoc | ||
| 035 | |a 065641639 |9 sudoc | ||
| 035 | |a 065915097 |9 sudoc | ||
| 035 | |a 053302699 |9 sudoc | ||
| 035 | |a (OCoLC)490699264 | ||
| 035 | |a ocm25358475 | ||
| 035 | |a PRITEC.INRP.010071523001 | ||
| 035 | |a PRITEC.ROUEN.120053619001 | ||
| 035 | |a urouen115143 | ||
| 035 | |a PRITEC.BSG.021370424001 | ||
| 035 | |a PRITEC.CAEN.020720245001 | ||
| 035 | |a PRITEC.STRASBG.040011048001 | ||
| 035 | |a DYNIX_BUNAN_41520 | ||
| 035 | |a PRITEC.MEN.010071523001 | ||
| 035 | |a PRITEC.AIX.011220558001 | ||
| 100 | |a 19920227h19691969k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR |a NL | ||
| 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 Logique moderne |h Fascicule I |i Logique des propositions et des prédicats, déduction naturelle |f Jean-Blaise Grize | |
| 214 | 0 | |a Paris |a La Haye |c Mouton |a Paris |c Gauthier-Villars | |
| 214 | 4 | |d C 1969 | |
| 215 | |a 1 vol. (90 p.) |d 23 cm | ||
| 225 | 0 | |a Mathématiques et sciences de l'homme |v 10 | |
| 320 | |a Bibliogr. p. [81]-82 | ||
| 410 | | | |0 013281623 |t Mathématiques et sciences de l'homme |x 0076-5406 |v 10 | |
| 517 | | | |a Logique des propositions et des prédicats, déduction naturelle | |
| 606 | |3 PPN027301273 |a Prédicat (logique) |2 rameau | ||
| 606 | |3 PPN027556131 |a Proposition (logique) |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027321746 |a Logique moderne |2 rameau | ||
| 686 | |a 03-02 |c 2020 |2 msc | ||
| 700 | 1 | |3 PPN026903768 |a Grize |b Jean Blaise |f 1922-2013 |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20230906 |g AFNOR |h 071841040 | |
| 801 | 3 | |a FR |b Abes |c 20230906 |g AFNOR |h 065641639 | |
| 801 | 3 | |a FR |b Abes |c 20230906 |g AFNOR |h 065915097 | |
| 801 | 3 | |a FR |b Abes |c 20230906 |g AFNOR |h 053302699 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 1 | |a FR |b PRITEC |c 20020906 | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:404729533 |b 441092107 |a L GRI 22265 |j s | ||
| 998 | |a 294818 | ||