Roberto Lins de Carvalho
Original record- Institution
- University of Toronto
- Year
- 1974
- Country
- Canada
- MGP identifier
- 92523
Dissertation: Some Results in Automatic Theorem-Proving with Applications in Elementary Set Theory and Topology
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Stephen Arthur CookHarvard University · 1966
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Pedro Porfirio Muniz Farias | Not recorded | — | 0 |
| Paulo Rogerio Foina | Pontifícia Universidade Católica do Rio de Janeiro | 1985 | 1 |
| Sonia Limoeiro Monteiro | Not recorded | — | 0 |
| Nizam Omar | Pontifícia Universidade Católica do Rio de Janeiro | 1989 | 1 |