| 20/1987 |
Some contributions on rational cubic galois extensions Antonio Paques, Andrzej Solecki  rp-1987-20.pdf |
| 19/1987 |
On best approximation by rational and holomorphic mappings between banach spaces A.O. Chiacchio, M.C. Matos, M.S.M. Roversi rp-1987-19.pdf |
| 18/1987 |
Bordismo de involuções e ações semi-livres do círculo Claudina Izepe Rodrigues rp-1987-18.pdf |
| 17/1987 |
Green´s function for pedestrians E. Capelas de Oliveira rp-1987-17.pdf |
| 16/1987 |
Equações algébricas - uma revisão E. Capelas Oliveira rp-1987-16.pdf |
| 15/1987 |
Adiabatic switching for time dependent electric fields Márcia A.G. Scialom , Rafael J. Iório Jr. rp-1987-15.pdf |
| 14/1987 |
Magnetic monopoles without strings by Kahler-clifford algebras Adolfo Maia Jr., Erasmo Recami, Waldyr A. Rodrigues Jr., Marcio A.F. Rosa rp-1987-14.pdf |
| 13/1987 |
Métodos de projeção de convergência finita para sistemas lineares e quadrados mínimos Renato Borges Guerra rp-1987-13.pdf |
| 12/1987 |
A paraconsistent logic: J3 Ítala M. L. D´Ottaviano, Richard L. Epstein rp-1987-12.pdf |
| 11/1987 |
A regra-ω -passado, presente e futuro Ítala M. L. D´Ottaviano, Edgard G. K. López Escobar Antes de apresentarmos alguns problemas filosóficos referentes às demonstrações infinitas, e a Regra-ω, fazemos uma discussão sobre as origens da regra com algumas citações históricas. Apresentamos o Primeiro e Segundo Teoremas de Gödel e o Teorema de Loëb. Introduzimos a Aritmética Clássica de Primeira Ordem com Regra-ω e vários outros sistemas, estabelecendo algumas relações entre eles. Apresentamos o Teorema de SchÜtte-Mintz e estendemos a aritmética através de indução transfinita, com várias aplicações da eliminação do corte. este trabalho constituiu um curso ministrado no "VI Encontro Brasileiro de Lógica", realizado na Universidade Federal do Ceará, Fortaleza, em 1982. rp-1987-11.pdf |
