|
Colloque international de logique (1975 : Clermont-Ferrand)
Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 / Centre national de la recherche scientifique.
— Paris : Éditions du C.N.R.S., 1977. 224 p. ; 24 cm. — (Colloques internationaux du Centre national de la recherche scientifique ; no 249)
Incluye referencias bibliográficas.
Contenido: J. Stern, Exemples d'application de la théorie des modèles à la théorie des espaces de Banach — A. S. Troelstra, Completeness and validity for intuitionistic predicate logic — J. Y. Girard, Functionals and ordinoids — D. Lascar, Généralisation de l'ordre de Rudin-Keisler aux types d'une théorie — J. Donald Monk, Some problems in algebraic logic — L. Henkin, Algebraic aspects of logic: past, present, future — R. Bonnet, Sur le type d'isomorphie d'algèbres de Boole dispersées — G. Kreisel, Some uses of proof theory for finding computer programs — J. Zucker, Formalization of classical mathematics in AUTOMATH — A. Louveau, Une propriété de petitesse des filtres sur $\omega$ — M. Boffa, On the axiomatization of NF — Stephen G. Simpson, Basis theorems and countable admissible ordinals — C. Smorynski, $\omega$-consistency and reflection — A. Preller, Languages à graphes et schéma de séparation — Solomon Feferman, Generating schemes for partial recursively continuous functionals (summary) — K. McAloon, Consistency statements and number theories — H. Barendregt, Solvability in lambda calculi — G. Georgescu, Structures algébriques introduites par forcing.
ISBN 2222020190
|