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!
|
| LEADER | 02238cam a2200277 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003935 | ||
| 008 | 781027s1977####fr#######b###f100#0#fre## | ||
| 005 | 20160523134456.0 | ||
| 245 | 0 | 0 | |a Colloque international de logique : |b Clermont-Ferrand, 18-25 juillet 1975 / |c Centre national de la recherche scientifique. |
| 260 | |a Paris : |b Éditions du C.N.R.S., |c 1977. | ||
| 300 | |a 224 p. ; |c 24 cm. | ||
| 440 | 0 | |a Colloques internationaux du Centre national de la recherche scientifique ; |v no 249 | |
| 546 | |a Francés o inglés. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 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. | |
| 510 | 4 | |a MR, |c 58 #27191 | |
| 020 | |a 2222020190 | ||
| 111 | 2 | |a Colloque international de logique |d (1975 : |c Clermont-Ferrand) | |
| 710 | 2 | |a Centre national de la recherche scientifique (Francia) | |
| 650 | 0 | |a Logic, Symbolic and mathematical |x Congresses. | |
| 650 | 0 | |a Logic |x Congresses. | |
| 084 | |a 03-06 |2 msc2000 | ||
| 010 | |a 78367483 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 041 | 0 | |a fre |a eng | |
| 859 | |h 03 |i C714-1975 |p A-6281 |b BIB. MATEMATICA | ||