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

disgusting terrsts of foreign gypsies foreign terrorst grp/cult