- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Chŏng Sŏk-T'ae'
988 found
Order:
- Chʻoesin pŏphak kaeron.Hae-tʻae Chʻoe & Chong-ha Yi (eds.) - 1975Export citation
Bookmark - Exploration of Korean Buddhist thoughts.Pyŏng-hŏn Ch'oe, Chong-uk Kim & Yong-T'ae Kim (eds.) - 2016 - Seoul, Korea: Dongguk University Press.
- Sŏnbi ŭi kasŭm sok e p'umŭn hanŭl.Chang-T'ae Kŭm - 2012 - Sŏul-si: Chisik kwa Kyoyang.
- AI punya kukche kwahak yŏn'gu net'ŭwŏk'ŭ sok Chungguk ŭi wisang punsŏk.Ŭn Chong-hak - 2022 - In Yŏng-sun Pak (ed.), Chungguk chisik hyŏngsŏng ŭi pyŏnhwa wa yuhyŏng t'amsaek. Kyŏnggi-do Koyang-si: Hakkobang.No categoriesExport citation Bookmark
- Yŏksa sok ŭi Han'guk ch'ŏrhak.Chong-sŏng Yi - 2017 - Taejŏn Kwangyŏksi: Ch'ungnam Taehakkyo Ch'ulp'an Munhwawŏn.1. Tan'gun sinhwa ŭi wŏnhyŏngjŏk segyegwan kwa p'ungnyu chŏngsin -- 2. Wŏnhyo ŭi hwajaeng sasang kwa muaehaeng ŭi silch'ŏn -- 3. Ŭisang ŭi 'Hwaŏm ilsŭng pŏpkyedo' e nat'anan Hwaŏm sasang -- 4. Chinul ŭi Tono chŏmsu wa Chŏnghye ssangsu sasang -- 5. Sambong Chŏng To-jŏn ŭi Pulgyo paech'ŏk ŭi naeyong kwa sŏngkyŏk -- 6. T'oegye Yi Hwang ŭi ch'ŏrhakchŏk ipchang kwa 'Kyŏng' sasang -- 7. Kobong Ki Tae-sŭng ŭi hangmun chŏngsin kwa ch'ŏrhak sasang -- 8. Ugye Sŏng Hon ŭi (...)
- Hanʼguk yulli ŭi chae chŏngnip.Tʻae-gil Kim - 1995 - Sŏul-si: Chʻŏrhak kwa Hyŏnsilsa.No categories
- Chigŏp yulli wa Hanʼgugin ŭi kachʻigwan.Tʻae-gil Kim - 1997 - Sŏul-si: Chʻŏrhak kwa Hyŏnsilsa.
- Han sasang ŭi ppuri rŭl chʻajasŏ.Tʻae-il Chegal - 2004 - Sŏul Tʻŭkpyŏlsi: Tŏburŏ Chʻaek.
- Sam kwa il: hyŏndaein ŭi chigŏp yulli.Tʻae-gil Kim (ed.) - 1992 - Sŏul: Koryŏwŏn.
- Yulli wa inyŏm.Tʻae-gil Kim - 1991 - Sŏul Tʻŭkpyŏlsi: Pagyŏngsa. Edited by Chae-Ryong Sim & Yong-pʻil Yi.No categories
- Yugyojŏk chŏntʻong kwa hyŏndae Hanʼguk.Tʻae-gil Kim - 2001 - Sŏul-si: Chʻŏrhak kwa Hyŏnsilsa.
- Saeroun nollihak: nonsul haksŭp ŭl wihan nolli kiljabi.T'ae-yŏn Hwang (ed.) - 1994 - Sŏul: Irwŏl Sŏgak.No categories
- Pyŏnhyŏk sidae ŭi sahoe chʻŏrhak. Kim, Tʻae-gil & D. - 1990 - Sŏul-si: Chʻŏrhak kwa Hyŏnsilsa.Export citation Bookmark
- Randomness in the higher setting.C. T. Chong & Liang Yu - 2015 - Journal of Symbolic Logic 80 (4):1131-1148.
- Hwasŏ hakp'a ŭi chŏn'gae kwajŏng kwa yangsang.Kŭm Chang-T'ae - 2022 - In Hyang-jun Yi (ed.), Hwasŏ hakp'a ŭi simsŏl nonjaeng. Sŏul: Tosŏ Ch'ulp'an Munsach'ol.Export citation Bookmark
- Myŏnam Ch'oe Ik-hyŏn ŭi Sŏngnisŏl kwa Suyangnon.Kŭm Chang-T'ae - 2022 - In Hyang-jun Yi (ed.), Hwasŏ hakp'a ŭi simsŏl nonjaeng. Sŏul: Tosŏ Ch'ulp'an Munsach'ol.Export citation Bookmark
- Aedo ŭi aedo rŭl wihayŏ: pip'an ŏmnŭn sidae ŭi ch'ŏrhak.T'ae-wŏn Chin - 2019 - Sŏul-si: Kŭrinbi.1. 'P'osŭt'ŭ' tamnon ŭi yuryŏngdŭl : aedo ŭi aedo rŭl wihayŏ -- 2. Chwap'a mesiajuŭi ranŭn irŭm ŭi yongmang : 'p'osŭt'ŭ-p'osŭt'ŭ tamnon' ŭi kungnae suyong e taehayŏ -- 3. Sigan kwa chŏngŭi : Penyamin, Haidegŏ, Terida -- 4. Kungmin iranŭn noye : chŏnch'ejuŭijŏk kungmin kukkaron e taehan pip'anjŏk koch'al -- 5. Ŏttŏn sangsang ŭi kongdongch'e : minjok, kungmin kŭrigo kŭ nŏmŏ -- 6. Hanbando p'yŏnghwa ch'eje ŭi (t'al) kuch'uk ŭl wihayŏ : ŭl ŭi minjujuŭi ŭi kwanchŏm esŏ -- 7. P'uk'o (...)
- Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - 2014 - Bulletin of Symbolic Logic 20 (2):170-200.We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.
- T'ongil kwa in'gan chungsim ŭi chŏngch'ihak: kaein minjujuŭi wa chiptan minjujuŭi ŭi kyŏrhap ŭl.T'ae-gu No - 2020 - Sŏul: Puk'o.
- Chilli ŭi punsŏk: sigong esŏ chʻowŏl e irŭnŭn kil.Tʻae-su Hong - 1984 - Sŏul Tʻŭkpyŏlsi: Chʻunchʻugak.No categoriesExport citation Bookmark
- Chŏng Yag-yong ŭi ch'ŏrhak mit sahoe chŏngch'i sasang yŏn'gu.T'ae-yŏn Hong - 2013 - [P'yŏngyang]: Sahoe Kwahak Ch'ulp'ansa.
- Kungmin kukka ŭi chŏngch'ihak: P'ŭrangsŭ minjujuŭi ŭi chŏngch'i ch'ŏrhak kwa yŏksa.T'ae-yŏng Hong - 2008 - Sŏul: Humanit'asŭ.
- Sogaltchi kŏdaltchi: sin inʼganhak.Tʻae-su Hong - 1989 - Sŏul Tʻŭkpyŏlsi: Haengnim Chʻulpʻan.Export citation Bookmark
- Hanʼguk chŏngchʻihak ŭi tʻochʻakhwa: pʻyŏnghwa tʻongil (hak) ŭi mosaek.Tʻae-gu No - 2006 - Sŏul: Paeksan Sŏdang.Export citation Bookmark
- Chongchʻihak kaeron.Tʻae-su Han - 1957Export citation Bookmark
- Saengmyŏng sagwan ŭi chŏngchʻi chʻŏrhak.Tʻae-su Han - 1975Export citation Bookmark
- Algi shwipke p'urŏssŭn Hwang Chang-yŏp ŭi in'gan chungsim ch'ŏrhak.T'ae-uk Kang - 2017 - Sŏul-si: Tŏ Puksŭ.No categories
- Arŭmdaun saram: sarang kodok kkumim sŏngch'al suhaeng kamgak.T'ae-ung Kang (ed.) - 2018 - Kyŏnggi-do P'aju-si: Sŏhae Munjip.
- Hanʼguk kŭndae sasang ŭi tojŏn.Chang-tʻae Kŭm - 1995 - Sŏul-si: Konggŭpchʻŏ Hanʼguk Chʻulpʻan Hyŏptong Chohap.
- Techniques of admissible recursion theory.C.-T. Chong - 1984 - New York: Springer Verlag.
- Hyperhypersimple α-r.e. sets.C. T. Chong & M. Lerman - 1976 - Annals of Mathematical Logic 9 (1-2):1-48.No categories
- Pan'gye ŭi pyŏnpŏpchŏk t'ongch'iron.Kim T'ae-yŏng - 2013 - In Sŏg-yun Mun (ed.), Pan'gye Yu Hyŏng-wŏn yŏn'gu. Sŏul T'ŭkpyŏlsi: Saram ŭi Munŭi.Export citation Bookmark
- Minimal degrees recursive in 1-generic degrees.C. T. Chong & R. G. Downey - 1990 - Annals of Pure and Applied Logic 48 (3):215-225.
- Igŏt i uri rŭl Hanʼgugin ige handa.Kyu-tʻae Yi - 1997 - Sŏul-si: Namhŭi.No categories
- The degree of a Σn cut.C. T. Chong & K. J. Mourad - 1990 - Annals of Pure and Applied Logic 48 (3):227-235.
- Hanʼguk hyŏndae ŭi Yugyo munhwa.Chang-tʻae Kŭm - 1999 - Sŏul: Sŏul Taehakkyo Chʻulpʻanbu.
- Keisya (geisha) wa keisya (yeja) : Sŏyang ŭi sisŏn kwa Ilbon ŭi panbal.Kang T'ae-ung - 2020 - In Chin-sŏng Chang (ed.), Pak esŏ pon Asia, mi: yŏhaeng sajin misul yŏnghwa tijain. Kyŏnggi-do P'aju-si: Sŏhae Munjip.Export citation Bookmark
- Maksŭjuŭi chʻŏrhak wŏlli.Chʻang-min Tʻae & Tʻae-jun Yi (eds.) - 1984 - [Yanji Shi]: Yŏnbyŏn Inmin Chʻulpʻansa.Export citation Bookmark
- Sabyŏnnok" chŏsul tonggi wa "Taehak" ponmun chaebaeyŏl munje e taehan kŏmt'o.Kim T'ae-nyŏn - 2020 - In Hyŏng-ch'an Kim (ed.), Pak Se-dang Sabyŏnnok yŏn'gu. Kyŏnggi-do P'aju-si: T'aehaksa.Export citation Bookmark
- Tasan ŭi chŏngjŏnjeron.Kim T'ae-yŏng - 2012 - In Chae-so Song (ed.), Tasan Chŏng Yag-yong yŏn'gu. Sŏul T'ŭkpyŏlsi: Saram ŭi Munŭi.Export citation Bookmark
- ∑1‐Density and Turing Degrees.C. T. Chong - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):141-145.
- Wŏnhyo ŭi t'ongsŏp ch'ŏrhak: ch'iyu ch'ŏrhak ŭrosŏŭi tokpŏp.T'ae-wŏn Pak - 2021 - Sŏul T'ŭkpyŏlsi: Sech'ang Ch'ulp'ansa.
- Chosŏn ŭi syup'ŏ sŭt'a T'ojŏng Yi Chi-ham: panmannyŏn yŏksa, ch'oego ŭi kyŏngsega T'ojŏng ŭi sam kwa sasang.T'ae-bok Yi - 2011 - Kyŏnggi-do P'aju-si: Tongnyŏk.
- T'ujaeng hanŭn chungdo: kŭkchung ŭi chungdo kaehyŏkchuŭi, kŭ ch'ŏrhak kwa pijŏn = The fighting centre: the reform-minded centrism in the extreme centre, its philosophy and vision.T'ae-yŏn Hwang - 2020 - Sŏul-si: Nexen Media.
- Wŏnhyo ŭi hwajaeng ch'ŏrhak: mun kubun e ŭihan t'ongsŏp.T'ae-wŏn Pak - 2017 - Sŏul-si: Sech'ang Ch'ulp'ansa.
- Haebang ŭi chʻŏrhak.Chang-tʻae Kŭm & Hyŏng-chʻŏl Kim (eds.) - 1996 - Sŏul-si: Chʻŏrhak kwa Hyŏnsilsa.
- Almost local non-α-recursiveness.Chi T. Chong - 1974 - Journal of Symbolic Logic 39 (3):552-562.
- Almost Local Non-$alpha$-Recursiveness.Chi T. Chong - 1974 - Journal of Symbolic Logic 39 (3):552-562.
- Double jumps of minimal degrees over cardinals.C. T. Chong - 1982 - Journal of Symbolic Logic 47 (2):329-334.
- Global and local admissibility: II. Major subsets and automorphisms.C. T. Chong - 1983 - Annals of Pure and Applied Logic 24 (2):99-111.
| 1 — 50 / 988 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-g9b9l uwo