yayy came to the library of abstract maths topoi information -> initializing with Lawvere books (nah I already read one Lawvere book but currently not reading Lawvere but first topoi book finishing time!) .
so now topoi book studying starts!
hmm i think i read before chapter 6 to chapter 10 but not in detail. but i definitely had not learnt proficiently yet. so i restudy now. since I really had not learnt chapter 6 and i think its most important there since defines soundness and completeness theorems etc and introduces logic systems definitions etc.
Yorumlar
Yorum Gönder