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ágs. ; 24 cm.
Serie: Colloques internationaux du Centre national de la recherche scientifique ; no 249
ISBN: 2222020190
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.