A new proof of the fixed-point theorem of provability logic
Name
20099330.pdf
Size
20.25 MB
Format
Adobe PDF
Checksum (MD5)
f021aef30ca2ec2502ccfd440c36892f
Author(s)
Reidhaar-Olson, Lisa.
Advisor(s)
George Boolos, Sy Friedman.
Date Issued
1988
Publisher
Massachusetts Institute of Technology
Description
Thesis: M.S., Massachusetts Institute of Technology, Department of Mathematics, 1988
Includes bibliographical references.
Subjects
Mathematics.
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
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.
Persistent DSpace Link
