Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 /
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Formato: | Libro |
| Idioma: | French English |
| Publicado: |
Paris :
Éditions du C.N.R.S.,
1977.
|
| Series: | Colloques internationaux du Centre national de la recherche scientifique ;
no 249 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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.