Back to Results
First PageMeta Content
Logic / Lattice theory / Mathematical constructivism / Non-classical logic / Heyting algebra / Turing degree / Reduction / Turing reduction / Albert Muchnik / Mathematical logic / Mathematics / Computability theory


Document Date: 2008-08-14 05:29:12

Open Document

File Size: 129,60 KB

Share Result on Facebook
UPDATE