On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA

title

author

Tupailo, Sergei

description

Research Report CS 56/93

publishing year

1993

identifier

http://digi.lib.ttu.ee/i/?11890

language

eng

rights

http://rightsstatements.org/vocab/InC-EDU/1.0/

institution