Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Enregistré dans:
Détails bibliographiques
Auteur principal : Logic Symposia
Collectivités auteurs : Logic Symposia 1979 Hakone, Japon (Auteur), Logic Symposia 1980 Hakone, Japon (Auteur)
Autres auteurs : Müller Gert Heinz (Éditeur scientifique), Takeuchi Gaishi (Éditeur scientifique), Tugué Tosiyuki (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / ed. by G.H. Müller, G. Takeuti, and T. Tugué
Publié : Berlin, New York : Springer-Verlag , cop. 1981
Description matérielle : 1 vol. (XI-394 p.)
Collection : Lecture notes in mathematics ; 891
Sujets :
Logique mathématique > Actes de congrès
LEADER 02392cam a2200613 4500
001 PPN024411205
003 http://www.sudoc.fr/024411205
005 20211105113800.0
010 |a 0-387-11161-1  |b New York 
010 |a 3-540-11161-1  |b Berlin 
020 |a US  |b 8118424 
035 |a 121269531  |9 sudoc 
035 |a (OCoLC)423238003 
035 |a ocm07944723 
100 |a 19811026h19811981k y0frey0103 ba 
101 0 |a eng 
102 |a DE  |a US 
105 |a y a 100yy 
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 Symposia, Hakone, 1979, 1980  |e proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980  |f ed. by G.H. Müller, G. Takeuti, and T. Tugué 
210 |a Berlin  |a New York  |c Springer-Verlag  |d cop. 1981 
215 |a 1 vol. (XI-394 p.)  |d 25 cm 
225 0 |a Lecture notes in mathematics  |v 891 
300 |a Actes de deux congrès : symposia on the foundations of mathematics, "Proj. no. 234002('79)" et "Proj. no. 434007 ('80)" organisés respectivement du 21 au 24 mars 1979 et du 4 au 7 février, à Gôra, Hakone (Japon) 
302 |a Préface en japonais 
320 |a Notes bibliogr. 
410 | |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 891 
606 |3 PPN027662799  |a Logique mathématique  |3 PPN02886431X  |x Actes de congrès  |2 rameau 
676 |a 510 s  |v 19 
680 |a QA3  |b .L28 no. 891 
686 |a 03Cxx  |c 1980  |2 msc 
686 |a 03Dxx  |c 1980  |2 msc 
686 |a 03Exx  |c 1980  |2 msc 
686 |a 03Fxx  |c 1980  |2 msc 
686 |a 03Hxx  |c 1980  |2 msc 
702 1 |3 PPN081844603  |a Müller  |b Gert Heinz  |f 1923-2006  |4 340 
702 1 |3 PPN08206217X  |a Takeuchi  |b Gaishi  |f 1926-2017  |4 340 
702 1 |3 PPN132629712  |a Tugué  |b Tosiyuki  |f 1926-....  |4 340 
710 1 2 |3 PPN132630400  |a Logic Symposia  |f 1979  |e Hakone, Japon  |4 070 
711 1 2 |3 PPN132630451  |a Logic Symposia  |f 1980  |e Hakone, Japon  |4 070 
801 3 |a FR  |b Abes  |c 20180914  |g AFNOR  |h 121269531 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
915 |5 441092208:639603645  |b 5428 
930 |5 441092208:639603645  |b 441092208  |a LNM/891  |j u 
979 |a CCFA 
991 |5 441092208:639603645  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 5428  |d CMB  |e BAP  |s d  |c LNM/891 
998 |a 844873