En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Logic colloquium' 80
papers intended for the european summer meeting of the association for symbolic logic
Aug. 24-30

Bookmarks Report an error
Congrès

Lascar, D. (Editor) ; Smiley, T. J. (Editor) ; Van Dalen, D. (Editor)

North-Holland Publishing Co.

1982

978-0-444-86465-9

00006302

03-06 ; 03Fxx

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


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 C/PRAG/1980 00006302 [available]
Bookmarks Report an error