Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····cam##22·····#a#4500 |
001 | 003935 |
005 | 20160523134456.0 |
008 | 781027s1977####fr#######b###f100#0#fre## |
245 | 00 | $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 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com