| 1 |
|
Pushing the Limits of Compiler Verification
가야대학교 대출불가(별치) 
|
Mullen, Eric.
|
University of Washington. : ProQuest Dissertations & Theses
|
004
|
2018
|
|
|
|
| 2 |
|
Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis
가야대학교 대출불가(별치)
|
Barnes, James Samuel.
|
Cornell University. : ProQuest Dissertations & Theses
|
160
|
2018
|
|
|
|
| 3 |
|
The Philosophical Foundations of PLEN: A Protocol-theoretic Logic of Epistemic Norms
가야대학교 대출불가(별치)
|
Jenkins, Ralph.
|
City University of New York. : ProQuest Dissertations & Theses
|
100
|
2018
|
|
|
|
| 4 |
|
The Combinatorics and Absoluteness of Definable Sets of Real Numbers
가야대학교 대출불가(별치)
|
Norwood, Zach.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
160
|
2018
|
|
|
|
| 5 |
|
Computably Enumerable Boolean Algebras
가야대학교 대출불가(별치)
|
Tran, Ying-Ying.
|
Cornell University. : ProQuest Dissertations & Theses
|
160
|
2018
|
|
|
|
