Logic colloquium' 80
papers intended for the european summer meeting of the association for symbolic logic
Aug. 24-30
Lascar, D. (Editor) ; Smiley, T. J. (Editor) ; Van Dalen, D. (Editor)
1982
978-0-444-86465-9
00006302
addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle
Publisher City : Amsterdam ; N.Y. ; Oxford
Publisher country : Pays-Bas
Language : English
EAN13 : 9780444864659
ISBN : 0-444-86465-2
Collation : 342 p. ; Bibliogr 23 Cm ; Index ; rel.
Series : Studies in logic and the foundations of mathematics
Nb in series : 0108
Location : Colloque 1er étage (PRAG)
Event Year : 1980
City of congres : Prague
Country of congres : République Tchèque
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | C/PRAG/1980 | 00006302 | [available] |