logika konstruktywna 1

noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishPolish
Definition

system logiczny oparty na filozoficznej koncepcji intuicjonizmu.

Project co-funded by European funds

FENG