Status Updates From Mathematical Logic (Oxford ...
Mathematical Logic (Oxford Texts in Logic) by
Status Updates Showing 1-30 of 35
Angel
is on page 23 of 250
Derivation and Elimination applied to Natural Deduction. Need more information.
— Oct 12, 2016 08:53PM
Add a comment
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
Add a comment









