Riskribado (matematiko)

Riskribado en matematikala logiko esas larja grupo di metodi por substitucar subtermini di formulo per alta termini.

Kategorio:Matematikala logiko