Pogovor:Osnove matematike

Iz MaFiRaWiki

Ali je treba dodati še teorijo tipov?TomazPisanski 16:41, 15 december 2005 (CET)

Teorija tipov je neke vrste formalna logika, tako da ne vem. Ja, verjetno jo lahko dodamo. AndrejBauer 16:57, 15 december 2005 (CET)

Osebna orodja