http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O48735738
2008년
eng
0022-4812
1943-5886
SCI;SCIE;SCOPUS
학술저널
JOURNAL OF SYMBOLIC LOGIC
165-180 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
Omitting types for finite variable fragments and complete representations of algebras
Flat algebras and the translation of universal Horn logic to equational logic
First-order and counting theories of omega -automatic structures