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
József Attila Megyei és Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer