Decision problems: history and methods

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 96
H.P. Sankappanavar

 

do góry