Tárgyszó
---Művelet---
Felkutat
Megoszt
---Keresés---
Téma
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
Halis István Városi Könyvtár
TextLib
WWW V2.01.01/1673 - InfoKer