Cain S.’s Reviews > Mathematical Logic > Status Update
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
Like flag
