Logic in algebraic form : three languages and theories

Enregistré dans:
Détails bibliographiques
Auteur principal : Craig William (Auteur)
Format : Livre
Langue : anglais
Titre complet : Logic in algebraic form : three languages and theories / par William Craig,...
Publié : Amsterdam, London, New York : North-Holland , 1974, cop. 1974
American Elsevier
Description matérielle : 1 vol. (VIII-204 p.)
Collection : Studies in logic and the foundations of mathematics ; 72
Titre de l'ensemble : Studies in logic and the foundations of mathematics vol. 72
Sujets :
LEADER 01777cam a2200529 4500
001 PPN004754654
003 http://www.sudoc.fr/004754654
005 20210113055400.0
010 |a 0-7204-2272-8 
010 |a 0-444-10477-1  |b American Elsevier 
035 |a (OCoLC)299361001 
035 |a ocm00949471 
035 |z ocm1024041 
035 |a sib0011370 
100 |a 19990302h19741974k y0frey0103 ba 
101 0 |a eng 
102 |a NL  |a GB  |a US 
105 |a y a 001yy 
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 Logic in algebraic form  |e three languages and theories  |f par William Craig,... 
210 |a Amsterdam  |a London  |c North-Holland  |a New York  |c American Elsevier  |d 1974, cop. 1974 
215 |a 1 vol. (VIII-204 p.)  |d 23 cm 
225 1 |a Studies in logic and the foundations of mathematics  |v 72 
320 |a Bibliogr. p. 182-183. Index 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X  |v 72 
606 |3 PPN02767388X  |a Logique algébrique  |2 rameau 
606 |3 PPN03145836X  |a Théorie de la démonstration  |2 rameau 
676 |a 511/.3 
680 |a QA10  |b .C7 
686 |a 03G15  |c 2010  |2 msc 
686 |a 03-02  |c 2010  |2 msc 
700 1 |3 PPN060310421  |a Craig  |b William  |f 1918-2016  |4 070 
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 Abes  |c 20190514  |g AFNOR 
915 |5 441092208:639569714  |b 276 
930 |5 441092208:639569714  |b 441092208  |a 03C89  |j u 
979 |a CCFA 
991 |5 441092208:639569714  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 276  |d CMB  |e BAP  |s d  |c 03C89 
998 |a 841075