Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Summer school in logic
Collectivités auteurs : Summer school in logic 1967 Leeds, GB (Auteur), NATO advanced study institute 1965 Drammen, Norvège (Organisateur de réunion), Association for symbolic logic (Organisateur de réunion)
Autres auteurs : Löb M. H. (Éditeur scientifique)
Format : Livre
Langue : anglais
allemand
Titre complet : Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic / edited by M. H. Löb,...
Publié : Berlin, Heidelberg, New York : Springer-Verlag , 1968, cop. 1968
Description matérielle : 1 vol. (331 p.)
Collection : Lecture notes in mathematics ; 70
Sujets :
Documents associés : Autre format: Proceedings of the Summer school in logic, Leeds, 1967
LEADER 01937cam a2200481 4500
001 PPN015226905
003 http://www.sudoc.fr/015226905
005 20240531154900.0
020 |a US  |b 6856951 
035 |a (OCoLC)525584 
035 |a ocm00525584 
100 |a 19721227h19681968k y0frey0103 ba 
101 0 |a eng  |a ger 
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 
200 1 |a Proceedings of the Summer school in logic, Leeds, 1967  |e NATO Advanced study institute, meeting of the Association for symbolic logic  |f edited by M. H. Löb,... 
210 |a Berlin  |a Heidelberg  |a New York  |c Springer-Verlag  |d 1968, cop. 1968 
215 |a 1 vol. (331 p.)  |d 28 cm 
225 2 |a Lecture notes in mathematics  |v 70 
302 |a Contributions en anglais, sauf une en allemand 
320 |a Notes bibliogr. 
410 | |0 03292996X  |t Lecture notes in mathematics  |x 0075-8434  |v 70 
452 | |0 155234307  |t Proceedings of the Summer school in logic, Leeds, 1967  |o NATO Advanced study institute, meeting of the Association for symbolic logic  |f edited by M. H. Löb,...  |c Berlin [etc.]  |n Springer  |d 201X  |s Lecture notes in mathematics  |y 978-3-540-35886-2 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
676 |a 164 
680 |a QA3  |b .L28 no. 70 
686 |a 03Bxx  |c 2010  |2 msc 
702 1 |3 PPN082031606  |a Löb  |b M. H.  |4 340 
710 1 2 |3 PPN145833909  |a Summer school in logic  |f 1967  |e Leeds, GB  |4 070 
712 1 2 |3 PPN027948366  |a NATO advanced study institute  |f 1965  |e Drammen, Norvège  |4 557 
712 0 2 |3 PPN029945267  |a Association for symbolic logic  |4 557 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20200319  |g AFNOR 
930 |5 441092208:684996626  |b 441092208  |j u 
979 |a CCFA 
998 |a 885468