http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O54508882
2010년
eng
1079-8986
1943-5894
SCI;SCIE;SCOPUS
학술저널
BULLETIN OF SYMBOLIC LOGIC
415-418 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Relative truth definability of axiomatic truth theories
The complexity of classification problems for models of arithmetic
What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory
Reverse mathematics: the playground of logic