Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 / Centre national de la recherche scientifique.
Idioma: Francés, Inglés Series Colloques internationaux du Centre national de la recherche scientifique ; no 249Editor: Paris : Éditions du C.N.R.S., 1977Descripción: 224 p. ; 24 cmISBN: 2222020190Tema(s): Logic, Symbolic and mathematical -- Congresses | Logic -- CongressesOtra clasificación: 03-06J. Stern, Exemples d'application de la théorie des modèles à la théorie des espaces de BanachA. S. Troelstra, Completeness and validity for intuitionistic predicate logicJ. Y. Girard, Functionals and ordinoidsD. Lascar, Généralisation de l'ordre de Rudin-Keisler aux types d'une théorieJ. Donald Monk, Some problems in algebraic logicL. Henkin, Algebraic aspects of logic: past, present, futureR. Bonnet, Sur le type d'isomorphie d'algèbres de Boole disperséesG. Kreisel, Some uses of proof theory for finding computer programsJ. Zucker, Formalization of classical mathematics in AUTOMATHA. Louveau, Une propriété de petitesse des filtres sur $ omega$M. Boffa, On the axiomatization of NFStephen G. Simpson, Basis theorems and countable admissible ordinalsC. Smorynski, $ omega$-consistency and reflectionA. Preller, Languages à graphes et schéma de séparationSolomon Feferman, Generating schemes for partial recursively continuous functionals (summary)K. McAloon, Consistency statements and number theoriesH. Barendregt, Solvability in lambda calculiG. Georgescu, Structures algébriques introduites par forcing.
Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C714-1975 (Browse shelf) | Available | A-6281 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C564 La méthode générale des sciences positives : | 03 C564l-2 The limits of science : | 03 C678 Set theory and the continuum hypothesis / | 03 C714-1975 Colloque international de logique : | 03 C748 Truth, syntax and modality : | 03 C748-4 Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 / | 03 C749-12 Atti del XII Congresso Internazionale di Filosofia : |
Francés o inglés.
Incluye referencias bibliográficas.
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.
MR, 58 #27191
There are no comments on this title.