On Set Theory as a Foundation for Computer Science

Bulletin of the Section of Logic, Tom 33, Numer 1 (2004) s. 33-40
F.A. Doria, N.C.A. da Costa

 

do góry