undergrad_logic_-_course_outline_1_.pdf

52.1K

LogicInCS.pdf

2.26M

Herbert_Enderton,_Herbert_B_Enderton_A_mathematical_introduction.pdf

5.66M

Universitext_Dirk_van_Dalen_Logic_and_Structure_Springer_1994.pdf

6.86M

surprise exam paradox.pdf

77.5K

Propositional Intuitionistic Logic - S. Kuznetsov.pdf

344.2K

Prover for GL _ AI_BA_2017_VanLoo.pdf

300.3K

George_S_Boolos_The_Logic_of_Provability_Cambridge_University_Press.pdf

3.2M

Logic_E_Mendelson.pdf

13.46M

Lob_10.2307@20016802.pdf

2.85M

Edward N. Zalta - Basic Concepts In Modal Logic (1995).pdf

653.6K

Modal_zakhar.pdf

51.12M