|
|
|
|
| LEADER |
00835nam a22002297a 4500 |
| 001 |
409812 |
| 008 |
920507t19711971xxe ||| |||| 00| 0 fre d |
| 041 |
0 |
|
|a fre
|
| 100 |
1 |
|
|a Grize, Jean Blaise,
|d 1922-2013.
|
| 240 |
1 |
0 |
|a Logique des propositions et des prédicats, tables de vérité et axiomatisation
|
| 245 |
1 |
0 |
|a Logique moderne.
|n Fascicule II,
|p Logique des propositions et des prédicats, tables de vérité et axiomatisation
|c Jean-Blaise Grize.
|
| 260 |
|
|
|a Paris ;
|a La Haye :
|b Mouton ;
|a Paris :
|b Gauthier-Villars.
|
| 260 |
|
|
|c C 1971.
|
| 300 |
|
|
|a 1 vol. (79 p.) :
|b tabl. ;
|c 23 cm.
|
| 490 |
1 |
|
|a Mathématiques et sciences de l'homme
|v 14
|
| 504 |
|
|
|a Bibliogr. p. [69]. Index
|
| 650 |
|
|
|a Calcul propositionnel
|
| 650 |
|
|
|a Calcul des prédicats
|
| 650 |
|
|
|a Axiomatique
|
| 993 |
|
|
|a Livre
|
| 995 |
|
|
|a 023318899
|
| 997 |
|
|
|0 409812
|