http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
An Introduction To Finitary Analyses Of Proof Figures
Arai, T. CAMBRIDGE UNIVERSITY PRESS 1999 p.1-26
What Mathematical Truth Could Not Be - II
Benacerraf, P. CAMBRIDGE UNIVERSITY PRESS 1999 p.27-52
A Semantical Calculus for Intuitionistic Propositional Logic
Hudelmaier, J. CAMBRIDGE UNIVERSITY PRESS 1999 p.73-94
An Iteration Model Violating the Singular Cardinals Hypothesis
Koepke, P. CAMBRIDGE UNIVERSITY PRESS 1999 p.95-102
On the Complexity of the Propositional Calculus
Pudlak, P. CAMBRIDGE UNIVERSITY PRESS 1999 p.197-218