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

Enregistré dans:
Détails bibliographiques
Auteur principal: Ponasse, Daniel.
Support: Livre
Langue: Français
Publié: Paris : O.C.D.L. [Office Central de Librairie], cop. 1967.
Sujets:
Autres localisations: Voir dans le Sudoc
Provenance: Don Abbé Turpin
LEADER 00760nam a22002417a 4500
001 290676
008 880304t19671967xxe ||| |||| 00| 0 fre d
041 0 |a fre 
082 |a 510.01 
084 |a 03-XX 
100 1 |a Ponasse, Daniel. 
245 1 0 |a Logique mathématique :  |b éléments de base : calcul propositionnel, calcul des prédicats   |c Daniel Ponasse,... 
260 |a Paris :  |b O.C.D.L. [Office Central de Librairie],  |c cop. 1967. 
300 |a 1 vol. (163 p.) ;  |c 21 cm. 
504 |a Bibliogr. p. 157. Index des notations. Index 
561 |5 UCO  |a Don Abbé Turpin 
650 |a Logique symbolique et mathématique 
650 |a Calcul propositionnel 
650 |a Calcul des prédicats 
993 |a Livre 
994 |a BC 
995 |a 005628466 
997 |0 290676