Yu. L. Ershov, “<nobr>$\Sigma$</nobr>-predicates of finite types over an admissible set”, Algebra Logika, 1985, Volume 24, Number 5,Pages <nobr>499

RUS ENG

JOURNALS // Algebra i logika // Archive

Algebra Logika, 1985 Volume 24, Number 5, Pages 499–536 (Mi al1916)

$\Sigma$-predicates of finite types over an admissible set

Yu. L. Ershov

UDC: 517.11

Received: 04.06.1985

Bibliographic databases: