pealkiri
On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA
autor
Tupailo, Sergei
kirjeldus
Research Report CS 56/93
ilmumisaasta
1993
identifikaator
http://digi.lib.ttu.ee/i/?11890
keel
eng
õigused
http://rightsstatements.org/vocab/InC-EDU/1.0/
asutus
Eesti Teaduste Akadeemia Küberneetika Instituut
Institute of Cybernetics of the Estonian Academy of Sciences
  • Juurdepääsu piirang: TalTechi arvutivõrgu kasutajale.
    pdf 581 KB