Machine verification of mathematical proof

Author(s)
Abraham, Paul W.
Thumbnail
Download33387668-MIT.pdf (49.63Mb)
Terms of use
MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided. http://dspace.mit.edu/handle/1721.1/7582
Metadata
Show full item record
Description
Thesis: Sc. D., Massachusetts Institute of Technology, Department of Mathematics, 1963
 
Vita.
 
Includes bibliographical references (leaves 208-210).
 
Date issued
1963
URI
https://hdl.handle.net/1721.1/161775
Department
Massachusetts Institute of Technology. Department of Mathematics
Publisher
Massachusetts Institute of Technology
Keywords
Mathematics
Collections