Math 260AB - Mathematical Logic, UCSD 2012
Monday, February 13, 2012
Scribe notes from Feb 10, 2012
Here are the
scribe notes from Feb 10, 2012
. (TeX code is available
here
.) They introduce Frege-style systems for first order logic (aka Hilbert-style systems), as well as sequent calculus systems for first order logic (both LK and LK
e
systems).
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment