A constructive logic of program schemata on a decidable universe

Bulletin of the Section of Logic, Tom 17, Numer 3-4 (1988) s. 138-147
N.N. Nepejvoda

 

do góry