| 505 |
0# |
$a 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. |
