Semigroups underlying first-order logic

Semigroups underlying first-order logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Craig William (Auteur)
Format : Livre
Langue : anglais
Titre complet : Semigroups underlying first-order logic / William Craig
Publié : Providence (R.I.) : American Mathematical Society , 2006
Description matérielle : 1 vol. (XXV-263 p.)
Collection : Memoirs of the American Mathematical Society ; 866
Sujets :
Logique algébrique
Logique du premier ordre
Semigroupes
Documents associés : Autre format: Semigroups underlying first-order logic
LEADER 02146cam a2200613 4500
001 PPN111126665
003 http://www.sudoc.fr/111126665
005 20210113055400.0
010 |a 0-8218-4149-1  |b alk. paper 
010 |a 978-0-8218-4149-5 
020 |a US  |b 2006043004 
035 |a (OCoLC)493237976 
073 0 |a 9780821841495 
100 |a 20061205d2006 k y0frey0103 ba 
101 0 |a eng 
102 |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 Semigroups underlying first-order logic  |f William Craig 
210 |a Providence (R.I.)  |c American Mathematical Society  |d 2006 
215 |a 1 vol. (XXV-263 p.)  |d 26 cm 
225 2 |a Memoirs of the American Mathematical Society  |x 0065-9266  |v number 866 
320 |a Notes bibliogr. Index 
410 | |0 013293931  |t Memoirs of the American Mathematical Society  |x 0065-9266  |v 866 
452 | |0 195417550  |t Semigroups underlying first-order logic  |f William Craig  |c Providence (R.I.)  |n American Mathematical Society  |d 2012  |s Memoirs of the American Mathematical Society  |y 978-1-4704-0470-3 
606 |3 PPN02767388X  |a Logique algébrique  |2 rameau 
606 |3 PPN028111877  |a Logique du premier ordre  |2 rameau 
606 |3 PPN027248623  |a Semigroupes  |2 rameau 
676 |a 511.3/24  |v 22 
680 |a QA10  |b .C74 2006 
680 |a QA3  |b .A57 no. 866 
680 |a QA3 
686 |a 03-XX  |v 2000  |2 msc 
686 |a 03Gxx  |v 2000  |2 msc 
686 |a 03G25  |v 2000  |2 msc 
686 |a 06F05  |c 2000  |2 msc 
686 |a 20Mxx  |c 2000  |2 msc 
686 |a 20M05  |c 2000  |2 msc 
686 |a 20M17  |c 2000  |2 msc 
700 1 |3 PPN060310421  |a Craig  |b William  |f 1918-2016  |4 070 
801 3 |a FR  |b Abes  |c 20180706  |g AFNOR 
801 0 |b DLC  |g AACR2 
801 2 |b BAKER  |g AACR2 
915 |5 441092208:639538517  |b 19612 
930 |5 441092208:639538517  |b 441092208  |a Mem/866  |j u 
979 |a CCFA 
991 |5 441092208:639538517  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 19612  |d CMB  |e BAP  |s d  |c Mem/866 
998 |a 848247