jesse-michael-han / mcmaster-thesis

MSc thesis

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Reconstruction problems for first-order theories

This is my master’s thesis.

The theories and interpretations draft was written as a revised Chapter 1 of this thesis. It might be merged into the main document at some point.

To read the thesis, either compile it with pdfLaTeX or look at main.pdf

About

MSc thesis

License:GNU General Public License v3.0


Languages

Language:TeX 97.7%Language:Emacs Lisp 2.3%