Tárgyszó  
 
 
Kulcs: konstruktív matematika
Fölérendeltje: matematika
Mellérendelt: axiomatikus felépítés ; intuicionizmus a matematikában ; típuselmélet
Része: kiszámítható függvény ; nemteljességi tétel
ETO-ban: 510.25
Lukács Károly Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer