Some results in automatic theorem-proving with applications in elementary set theory and topology
By: by Roberto Lins de Carvalho.
Contributors: Toronto, Ont. University.
Publisher: s.n.]
Published: 1974
Place of publication: [Toronto
Language: eng
Number of pages: 135
Subjects: Automatic theorem proving; Set theory; Topology
Notes: Vita.

Thesis--University of Toronto.

Includes bibliographies.