Added file with questions that are interesting in my opinion
Added Lindenbaum and Heyting algebras definitions
Heyting algebra semantics was added
One more question was added