SetTheoryandAlgebrainComputerScience
Settheoryisnotreallytheonlyrigorousmathematicallanguage.Thelanguagesofsettheoryandofmathematicallogicweredevelopedtogether,sothat,asamathematicaldiscipline,settheoryisabranchofmathematicallogic.Technically,asweshallseeshortly,wecanviewthelanguageofsettheoryasaspecialsublanguageof
下载地址
用户评论
