총 178건 중 178건 출력
, 16/18 페이지
-
151.
- 결속구조(cohesion), 결속성(coherence) 그리고 중간언어(interlanguage)
- 심영식
-
Universidad Complutense de Madrid, 국외박사,
viii, 473 p., 1999
-
152.
- Role of conflict management initiatives in the “Ceasefire Presence, Peace Absence” : Focusing on the Armenia-Azerbaijan Nagorno-Karabakh and the Korea cases
- Mehmet Fatih Oztarsu
-
韓國外國語大學校 國際地域大學院, 국내박사,
xvii, 449 p., 2020
-
153.
- EQUITY IN THE PROVISION AND USE OF INSTITUTIONAL CARE FOR OLDER PEOPLE IN KOREA
- Kim, Kyung Ho
-
University of Birmingham, 국외박사,
xx, 593 p., 2002
-
154.
- FINANCIAL LIBERALIZATION AND INTERNATIONALIZATION : THE KOREAN EXPERIENCE
- 고동원
-
Duke University, 국외박사,
xv, 402p., 1996
-
155.
- 증기-액체 평형 분석에 기초한 최소 및 최대 비등 공비혼합물 분리를 위한 압력변환 증류 공정 설계 최적화 및 제어
- Alyssa Marie Fulgueras
-
Kongju National University Graduate School, 국내박사,
xxv, 384p., 2019
-
156.
- 자율주행자동차와 민사책임
- 맹준영
-
서울대학교 대학원, 국내박사,
쪽 수 복잡, 2019
-
157
-
J. I. Zucker. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 (1978), pp. 517-535. - J. I. Zucker and R. S. Tragesser. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501-516. - Dag Prawitz. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25-40. - Dag Prawitz. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 (1977), pp. 2-40. - M. A. E. Dummett. The justification of deduction. Proceedings of the British Academy, vol. 59 (for 1973, pub. 1975), pp. 201-232. - Michael Dummett. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, edited by H. E. Rose and J.C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 5-40. - Ian Hacking. Do-it-yourself semantics for classical sequent calculi, including ramified type theory. Logic, foundations of mathematics, and computahility theory, Part one of the proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada-1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in Philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 371-390. - Ian Hacking. What is logic?The journal of philosophy, vol. 76 (1979), pp. 285-319. - Göran Sundholm. Hacking's logic. The journal of philosophy, vol. 78 (1981), pp. 1
-
Grandy, Richard E.;
;
(The Journal of symbolic logic,
v.47,
1982,
pp.689-694)
-
158.
- LE TRAIN A GRANDE VITESSE COMME OUTIL D'AMENAGEMENT DU TERRITOIRE ET D'AMENAGEMENT URBAIN EN FRANCE ET EN COREE
- 이경철
-
UNIVERSITE PARIS Ⅳ PARIS-SORBONNE, 국외박사,
435p., 2000
-
159.
- 역주《남파집(南坡集)》
- 이병혁
-
전남대학교, 국내박사,
v, 397 p., 2019
-
160.
- Temas de sintaxis espan*ola y coreana : movimiento del verbo, seleccio>n de modo y legitimacio>n interclausal de los TPN
- 심상완
-
Universidad Auto>noma de Madrid, 국외박사,
xv, 389 p., 1996
QUICK MENU
