총 174건 중 174건 출력
, 15/18 페이지
-
141.
- 출산과 양육을 경험한 여성의 자아실현과 모녀 관계 상호성 연구
- 김선미
-
연세대학교 대학원, 국내박사,
x, 408 p., 2024
-
142.
- Die Rechtsgrundlagen zum Verbot von politischen Vereinigungen sowie Parteien in der Geschichte und Gegenwart der Bundes-republik Deutschland und der Republik Korea im Vergleich
- 양상열
-
Universitat Trier, 국외박사,
x, 530 p., 2001
-
143.
- 결속구조(cohesion), 결속성(coherence) 그리고 중간언어(interlanguage)
- 심영식
-
Universidad Complutense de Madrid, 국외박사,
viii, 473 p., 1999
-
144.
- 울금(Curcuma longa L.)의 산화억제와 지질 및 당질대사 개선에 미치는 영향
- 오다영
-
부산대학교, 국내석사,
xxix, 225장, 2019
-
145.
- FINANCIAL LIBERALIZATION AND INTERNATIONALIZATION : THE KOREAN EXPERIENCE
- 고동원
-
Duke University, 국외박사,
xv, 402p., 1996
-
146.
- Dynamic modeling and process control of the de-icing wastewater treatmYNent with AFBR
- 석종혁
-
Rensselaer Polytechnic Institute Troy, 국외박사,
xvii, 37p., 2001
-
147.
- Voice Management on the IELTS Academic Writing Test : A Contrastive Study of Examinees’ Sample Texts and Examiners’ Model Texts
- Zhang, Changyou
-
목포대학교 대학원, 국내박사,
xviii, 400 p., 2021
-
148.
- L'isolat mandarin de Ganzhou
- 변지원
-
Ecole des Hautes Etudes en Sciences Sociales, 국외박사,
iv, 575, 2004
-
149
-
Simon Kochen and E. P. Specker. Logical structures arising in quantum theory. A reprint of XL 507(21). The logieo-algebraic approach to quantum mechanics, Volume I, <b><i>Historicale evolution</i></b>, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 263-276. - Simon Kochen and E. P. Specker. The calculus of partial propositional functions. A reprint of XL 508(20). The logieo-algebraic approach to quantum mechanics, Volume I, <b><i>Historical evolution</i></b>, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 277-292. - P.D. Finch. On the structure of quantum logic. The logieo-algebraic approach to quantum mechanics, Volume I, <b><i>Historical evolution</i></b>, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 415-425. (Reprinted from <b><i>The journal of symbolic logic</i></b>, vol. 34 (1969), pp. 275-282.) - Stanley P. Gudder. Partial algebraic structures associated with orthomodular posets. Pacific journal of mathematics, vol. 41 (1972), pp. 717-730. - Janusz Czelakowski. Logics based on partial Boolean σ-algebras (1). Studia logica, vol. 33 (1974), pp. 371-396. - Gary M. Hardegree and Patricia J. Frazer. Charting the labyrinth of quantum logics: a progress report. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 53-76. - Janusz Czelakowski. Partial referential matrices for quantum logics. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1
-
Hughes, R. I. G.;
;
(The Journal of symbolic logic,
v.50,
1985,
pp.558-566)
-
150
-
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)
QUICK MENU
