• constructive logic
• constructive logics

constructive logic (suomeksi)

Määritelmät:

• (lb, en, logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.