Cain S.’s Reviews > Mathematical Logic > Status Update
Like flag
Cain S.’s Previous Updates
Cain S.
is on page 50 of 258
This book is helping me make more out of Smullyan's First Order Logic. The paraphrase explanations of each step involved in natural deduction proof systems helps immensely.
— Nov 22, 2013 11:41PM
