Logique mathématique : éléments de base calcul propositionnel, calcul des prédicats

Enregistré dans:
Détails bibliographiques
Auteur principal : Ponasse Daniel (Auteur)
Format : Livre
Langue : français
Titre complet : Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats / Daniel Ponasse
Publié : Paris : O.C.D.L , cop. 1967
Description matérielle : 163 p.
Sujets :
LEADER 01274cam a2200397 4500
001 PPN005628466
005 20170725131400.0
020 |a US  |b 6894326 
035 |a 073159840 
035 |a ocm13467632 
035 |a sib0091190 
035 |a DYNIX_BUNAN_78183 
100 |a 19880304d1967 ||||0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a y ||||||||| 
200 1 |a Logique mathématique  |b Texte imprimé  |e éléments de base  |e calcul propositionnel, calcul des prédicats  |f Daniel Ponasse 
210 |a Paris  |c O.C.D.L  |d cop. 1967 
215 |a 163 p.  |d 21 cm 
320 |a Bibliogr.: p. 157. Index 
606 |3 PPN027554546  |a Calcul des propositions  |2 rameau 
606 |3 PPN027221776  |a Calcul des prédicats  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 510.01 
680 |a QA9  |b .P58 
700 1 |3 PPN032851294  |a Ponasse  |b Daniel  |4 070 
801 3 |a FR  |b Abes  |c 20041206  |g AFNOR 
801 1 |a US  |b OCLC  |c 20041206  |g AACR2 
801 2 |a FR  |b AUROC  |c 20041206  |g AFNOR 
801 3 |a FR  |b SF  |c 20041206  |g AFNOR 
915 |5 441092102:182433935  |a 0081188745  |b 0081188745 
919 |5 441092102:182433935  |a 0081188745 
930 |5 441092102:182433935  |b 441092102  |a S 4631  |j u 
979 |a LET 
979 |a PHILO 
998 |a 268589