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

Bu blogdaki popüler yayınlar