Intuitionistic discursive system (IDS)

Bulletin of the Section of Logic, Tom 29, Numer 1-2 (2000) s. 57-62
Janusz Ciuciura

 

do góry