Journal: Logical Methods in Computer Science

Volume 12, Issue 4

0 -- 0Dimiter Skordev. Some theorems on passing from local to global presence of properties of functions
0 -- 0Takayuki Kihara. Borel-piecewise continuous reducibility for uniformization problems

Volume 12, Issue 3

0 -- 0Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens. Z-stability in Constructive Analysis