Processing math: 100%
Math 260AB - Mathematical Logic, UCSD 2012
Saturday, May 12, 2012
Scribe Notes for Friday, May 11
Here are the scribe notes for May 11 (on
Σ
1
-defined functions and some more bootstrapping):
pdf
and
tex
.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment