[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.6701826 [View]
File: 374 KB, 546x547, mind.png [View same] [iqdb] [saucenao] [google]
6701826

>>6701811
There is a variant of ZF as type theory in Paul Taylors book "Practical Foundations for mathematics". A version is online, but not in TeX
http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/s22.html

>>6701791
so what's your name on SE?

Navigation
View posts[+24][+48][+96]