총 950건 중 950건 출력
, 95/95 페이지
-
941
-
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)
-
942.
- Internationalisation of Korea industry : a study of the performance of the plant and construction industry
- 유규열
-
University of Manchester Institute of Science and Technology, 국외박사,
xix, 672 p., 1989
-
943.
- 한국가족의 집단성격과 부모자녀관계에 관한 심리학적 연구
- 김재은
-
이화여자대학교, 국내박사,
, 1974
-
944.
- 계약체결상의 과실과 불완전이행의 책임체계 구성에 관한 연구 : 신의칙에 기초한 채무구조를 중심으로
- 김재완
-
경상대학교, 국내박사,
xi, 300 p., 2010
-
945.
- 영생 부활체의 육체성과 영성적 현현: 장-뤽 낭시와 장 칼뱅의 부활체 비교를 중심으로 -‘복음-관계-존재-인식’론적 ‘복음·포월·확장체’의 ‘복음적 초인과율 지향성’ 논증 및 ‘신체영성신학’까지-
- 이승민
-
아신대학교 대학원, 국내박사,
775, 2023
-
946.
- La transformation politique de la Coree du sud et la dynamique des problemes 1979-1992
- 하상복
-
Universite Paris IX-Dauphine, 국외박사,
vi, 609 p., 2003
-
947.
- 생활체육 참여동기가 여가에만족도 미치는 영향
- 최병열
-
순천향대학교 교욱대학원, 국내석사,
ⅴ, 76p, 2008
-
948.
- Centrual issues in proclaiming the Gospel to Korean Shamanists
- 김철환
-
Concordia Theological Semminary, 국외박사,
xxv, 667p., 1999
-
949.
- 李常和의 『辨證方藥正傳』에 對한 연구
- 김정철
-
원광대학교 한의학전문대학원, 국내박사,
P1523, 2012
-
950.
- 요한복음의 성령론 연구 : 구약과의 관계에서 본 새로운 구속사적 해석의 탐구
- 송영의
-
총신대학교 대학원, 국내박사,
736p., 2007
QUICK MENU
