Angel’s Reviews > MATHEMATICAL LOGIC OTIL PAPER > Status Update
Angel
is on page 23 of 250
Derivation and Elimination applied to Natural Deduction. Need more information.
— Oct 12, 2016 08:53PM
Like flag
Angel’s Previous Updates
Angel
is on page 6 of 250
Nice intro, very very informal which is great for someone that starts on this subject. It annoys me a bit that I don't get formal definitions per se though.
— Oct 09, 2016 07:38PM
