Kleene computability 주제의 다양한 배열 : 산술 계층 computability의도 계산할 수 ordinals 및 hyperarithmetic 이론, 유한 오토마타 및 컴퓨터 과학, 높은 유형 computability 철학에 대한 결과와 함께 intuitionistic 산술에 대한 재귀 realizability에 대한 엄청난 결과를 정기적으로 세트를 개발 컴퓨터 과학 프로그램을 수정합니다.
I’ m really helplessParaCrawl Corpus ParaCrawl Corpus