What books do you guys recommend for logic?
Enderton's 'A Mathematical Introduction to Logic' or the Open Logic program pdf.
>>9156033
>Introduction to Logic
Then what?
>>9156019
Computers are better
Brain even more so
>>9156361
Study modal logic, I recommend "modal logic for philosophers", very good book. After that, you can study any logic you want
>>9156422
How many types of logic are there? I want to study mathematical logic and analysis til a decent level, preferably undergrad.
>>9156019
http://4chan-science.wikia.com/wiki/Mathematics#Proofs_and_Mathematical_Reasoning
http://4chan-science.wikia.com/wiki/Mathematics#Set_Theory.2C_Mathematical_Logic.2C_and_MetaMathematics