Logique mathématique

Enregistré dans:
Détails bibliographiques
Auteur principal : Pabion Jean-François (Auteur)
Autres auteurs : Guillaume Marcel (Préfacier)
Format : Livre
Langue : français
Titre complet : Logique mathématique / Jean-François Pabion; préface de Marcel Guillaume
Publié : Paris : Hermann , DL 1976
Description matérielle : 1 vol. (XXXI-263 p.)
Collection : Collection Méthodes (Paris. 1966) ; 16
Sujets :
LEADER 02315cam a2200709 4500
001 PPN000555541
003 http://www.sudoc.fr/000555541
005 20190627113200.0
010 |a 2-7056-5830-0  |b br.  |d 58 F 
010 |a 978-2-7056-5830-4 
020 |a FR  |b 07702259 
021 |a FR  |b D.L. 76-24480 
033 |a http://catalogue.bnf.fr/ark:/12148/cb34695804m 
035 |a (OCoLC)299348608 
035 |a sib1632588 
035 |a ocm03393280 
035 |a PRITEC.PAR1.090062435001 
035 |a sib0013965 
035 |a PRITEC.TOURS.030040804001 
035 |a PRITEC.SCDUFC.050420444001 
035 |a frBN001673619 
035 |a FRBNF346958040000005  |z FRBNF34695804 
073 0 |a 9782705658304 
100 |a 19770124h19761976k y0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a 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 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Logique mathématique  |f Jean-François Pabion  |g préface de Marcel Guillaume 
210 |a Paris  |c Hermann  |d DL 1976 
215 |a 1 vol. (XXXI-263 p.)  |c ill.  |d 22 cm 
225 2 |a Collection Méthodes 
305 |a Autre tirage : 2010 
320 |a Bibliogr. p. 261-263. Index 
410 | |9 160  |0 00103426X  |t Collection Méthodes (Paris. 1966)  |x 0588-2303  |v 16 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027554546  |a Calcul des propositions  |2 rameau 
606 |3 PPN028594460  |a Déduction (logique)  |2 rameau 
606 |3 PPN032993684  |a Complétude, Théorème de  |2 rameau 
675 |a 51  |v Éd. 1967 
676 |a 510 
680 |a QA9  |b .P24 
686 |a 02-01  |c 2000  |2 msc 
700 1 |3 PPN027055027  |a Pabion  |b Jean-François  |f 1942-....  |4 070 
702 1 |3 PPN026908670  |a Guillaume  |b Marcel  |f 1928-2016  |4 080 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b BN  |g AFNOR 
801 3 |a FR  |b Abes  |c 20181213  |g AFNOR 
915 |5 441092208:639608213  |b 9225 
930 |5 441092208:639608213  |b 441092208  |a 03C98  |j u 
979 |a CCFA 
991 |5 441092208:639608213  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 9225  |d CMB  |e BAP  |s d  |c 03C98 
998 |a 840610