Results for 'K. Sch��tte'

987 found
Order:
  1.  2
    ISILC Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1964 - New York: Springer Verlag.
  2. Magri̇tte ve wi̇ttgenstei̇n bağlaminda resi̇m-di̇l i̇li̇şki̇si̇ ve gerçekli̇k arayişi.Handan Karadayı - 2008 - Ethos(misc.) 2:4.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Beweistheorie.K. Schütte - 1960 - Berlin,: Springer.
     
    Export citation  
     
    Bookmark  
  4.  12
    K. Olesen Larsen: Sören Kierkegaard, Ausgewählte Aufsätze, Gütersloher Verlagshaus Gerd Mohn, Gütersloh 1973, 164 pp. [REVIEW]H. J. Sch - 1976 - Zeitschrift für Religions- Und Geistesgeschichte 28 (4):372.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
  6. Contributions to mathematical logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam,: North-Holland.
  7.  28
    The Dyscolos Twice More Walther Kraus: Menanders Dyskolos. (Sitz. d. Öster. Akad. d. Wiss., 234, 4.) Pp. 126. Vienna: H. Böhlaus Nachf., 1960. Paper, 85 Sch. B. A. van Groningen: Le Dyscolos de Ménandre, Étude critique du texte. (Verhand. d. K. Ned. Akad., N.R. lxvii. 3.) Pp. 160. Amsterdam: Noord-Hollandsche Uitgevers Mij., 1960. Paper, fl. 20. [REVIEW]F. H. Sandbach - 1962 - The Classical Review 12 (01):23-26.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    Pisʹma k Andrei︠u︡.Evgeniĭ Grishkovet︠s︡ - 2013 - Moskva: Makhaon.
    Bogen er et forsøg på at besvare spørgsmål om kunst til mennesker, som elsker kunst på alle mulige måder. Bogen er dedikeret til dem, som investerer deres kraft og tid inden for musik, litteratur, film, teater m.m. med et ønske om at støtte kunstelskerne. Bogens titel "Breve til Andrej" er derfor tilegnetR til én af de største russiske kunstnere Andrej Tarkovskij.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  14
    The strenght of the failure of the singular cardinal hypothesis.Moti Gitik - 1991 - Annals of Pure and Applied Logic 51 (3):215-240.
    We show that o = k++ is necessary for ¬SCH. Together with previous results it provides the exact strenght of ¬SCH.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  10.  29
    Variable-free formalization of the Curry-Howard theory.William Tait - manuscript
    The reduction of the lambda calculus to the theory of combinators in [Sch¨ onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lambda calculus, where the types are built up from atomic types by means of the operation A −→ B, to show that the lambda operator can be eliminated in favor of combinators K and S of each type A −→ (B −→ A) and (A −→ (B −→ C)) −→ ((A −→ B) −→ (A −→ C)), (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  22
    Neoplatonic Lives of Pythagoras – Media of Religious Paideia?Ilinca Tanaseanu-Döbler - 2012 - Zeitschrift für Religionswissenschaft 20 (1):70-93.
    Zusammenfassung Ausgehend von modernen religionswissenschaftlichen Diskussionen um ‚religi⃶se Bildung‘ wird im Artikel der Frage nach Medien religi⃶ser Bildung im philosophischen Heidentum der Sp⃤tantike nachgegangen: inwiefern k⃶nnen die zwei neuplatonischen Pythagorasviten als Instrumente religi⃶ser Bildung in einer Zeit verst⃤rkter Konfrontation mit dem Christentum gelesen werden? Die Ergebnisse zeigen die Vielfalt und Individualit⃤t der neuplatonischen Szene auf, die als einer der sch⃤rfer konturierten Bereiche paganer Religiosit⃤t gelten kann: während Porphyrios Pythagoras in seiner Philosophiegeschichte lediglich als einen Philosophen der Vergangenheit festh⃤lt, benutzt ihn (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  11
    Den krænkede religion, Habermas, Honneth og profetens turban.Jonas Jakobsen - 2009 - Etikk I Praksis - Nordic Journal of Applied Ethics 1 (1):9-26.
    Jeg diskuterer i denne artikel en række principielle spørgsmål angående det der kaldes «religionens genkomst» i det moderne demokrati. Mit hovedeksempel er den såkaldte «Muhammed-krise», som stadigvæk debatte­res med stor intensitet i nationale og internationale sammenhænge. De tre hovedspørg­smål lyder: Hvilken plads kan religiøse synspunkter og ytringer gøre krav på i den demokratiske offentlighed? Kan vi indholdsmæssigt fastsætte grænsen for religiøs blasfemi ved lov eller står den til løbende demokratisk debat? I hvilken grad kan reli­giøse minoritetsgrupper kræve anerkendelse fra – (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  4
    Functoriality of the Schmidt construction.Juan Climent Vidal & Enric Cosme Llópez - 2023 - Logic Journal of the IGPL 31 (5):822-893.
    After proving, in a purely categorial way, that the inclusion functor |$\textrm {In}_{\textbf {Alg}(\varSigma )}$| from |$\textbf {Alg}(\varSigma )$|⁠, the category of many-sorted |$\varSigma $|-algebras, to |$\textbf {PAlg}(\varSigma )$|⁠, the category of many-sorted partial |$\varSigma $|-algebras, has a left adjoint |$\textbf {F}_{\varSigma }$|⁠, the (absolutely) free completion functor, we recall, in connection with the functor |$\textbf {F}_{\varSigma }$|⁠, the generalized recursion theorem of Schmidt, which we will also call the Schmidt construction. Next, we define a category |$\textbf {Cmpl}(\varSigma )$|⁠, of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. HAAKONSSEN, K.: "The Science of a Legislator: The Natural Jurisprudence of David Hume and Adam Smith". [REVIEW]K. Campbell - 1982 - Australasian Journal of Philosophy 60:389.
  15. Ḳunṭres Ḥovat ha-talmidim: ʻim targum be-Idish.Ḳalonimus Ḳalmish ben Elimelekh - 2003 - London: Asher Anshil Grad. Edited by A. A. Gratt.
     
    Export citation  
     
    Bookmark  
  16.  3
    K postmodernismu obratem k jazyku.Stanislav Hubík - 1994 - Boskovice: Albert.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. K. Mainzer.K. Mainzer, Symmetrica der Natur & Studieo zur Natur-und Wissenschaftsphilosophie - 1994 - In Dag Prawitz & Dag Westerståhl (eds.), Logic and Philosophy of Science in Uppsala. Kluwer Academic Publishers. pp. 453.
    No categories
     
    Export citation  
     
    Bookmark  
  18. Lehrer, K.-Self-Trust.K. Meeker & R. Van Woudenberg - 1999 - Philosophical Books 40:252-255.
  19.  1
    Deník 1989.Rudolf Battěk - 2020 - Praha: Ústav pro soudobé dějiny AV ČR, v.v.i.. Edited by Tomáš Vilímek, Michaela Tučková & Marek Suk.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. K. Wigginton," Computer Crime: Assessing the Lawyer's Perspective.K. Forcht & D. Thomas - 1989 - Journal of Business Ethics 8 (4).
     
    Export citation  
     
    Bookmark  
  21. Ma-kʻo-ssŭ chu i chê hsüeh wei wu chu i ti chi pên chih shih.Kʻo-tʻing Lo - 1956
     
    Export citation  
     
    Bookmark  
  22. K. WENZEL, HoboPilgrim, ISBN 978-3-7867-2876-4.K. Vechtel - 2011 - Theologie Und Philosophie 86 (4):624.
     
    Export citation  
     
    Bookmark  
  23.  23
    Prof. K. borinski on W. B. Smith's biblical criticism.K. Borinski - 1911 - The Monist 21 (2):307.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  10
    Ramesh K. Sharma, J. M. E. McTaggart: Substance, Self, and Immortality (Lanham: Lexington Books, 2015), pp. 544+xviii, $130. [REVIEW]K. C. Pandey - 2020 - Journal of the Indian Council of Philosophical Research 37 (3):501-504.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Politik, Wissenschaft, Erziehung.Ernst Schütte, Theodor W. Adorno & Hans W. Nicklas (eds.) - 1969 - Bonn [u. a.]: Diesterweg.
    Für Ernst Schütte zum 65. Geburtstag, von G.-A. Zinn.--Zur Konzeption der Festschrift für Ernst Schütte, von H. Hamm-Brücher.--Autonomie und Autorität des Menschen, ein Gesprach.--Vernunft und Selbsterhaltung, von M. Horkheimer.--Resignation, von T. W. Adorno.--Die Grenzen psychologischer Forschung, von A. Mitscherlich.--Empfehlungen zur techokratischen Hochschulreform, von J. Habermas.--Quantitative überlegungen zum tertiären Bildungsbereich, H. Leussink.--Bemerkungen zur Didaktik ais einer offenen Strukturtheorie des Lehrens und Lernens, von G. Hausmann.--Erziehungswissenschaft, von W. Klafki.--Der pädagogische Fortschritt und die pädagogische Forschung, von W. Schultze.--Ideologisches und Unidelogisches in der Bildungsreformsdiskussion, (...)
     
    Export citation  
     
    Bookmark  
  26.  45
    K. I. Kalliphatides: (1) Ἑρμηνευτικὲς Παρατηρήσεις στὸν Διάλογο τν Mηλίων. (2) Ἑρμηνευτικὲς Παρατηρήσεις στὸν Διάλογο τν Mηλίων, i. Pp. 48, 12. Thessaloniki: privately printed, 1965. Paper. - R. Weil: Thucydide: La Guerre du Péloponnèse: Périclès. Pp. 105; map. Paris: Presses Universitaires de France, 1965. Paper, 9 fr. [REVIEW]K. J. Dover - 1968 - The Classical Review 18 (01):109-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. K. J. WU "Discovering formal logic". [REVIEW]K. G. Ferguson - 1995 - History and Philosophy of Logic 16 (2):285.
  28.  15
    W. K. C. Guthrie's "A History of Greek Philosophy". Volume IV: "Plato: The Man and his Dialogues: Earlier Period". [REVIEW]K. W. Harrington - 1978 - Philosophy and Phenomenological Research 38 (3):431.
  29. K. Satchidananda Murty: Vedic Hermeneutics.K. Werner - 1996 - Asian Philosophy 6:79-80.
     
    Export citation  
     
    Bookmark  
  30.  45
    K. Brodersen (ed.): Große Gestalten der griechischen Antike. 58 historische Portraits von Homer bis Kleopatra. Pp. 507. Munich: C. H. Beck, 1999. Cased. ISBN: 3-406-44893-3. [REVIEW]K. Kapparis - 2000 - The Classical Review 50 (1):380-381.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. K, t, Maslin.K. Smith - 1995 - Cogito 9:79.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  10
    Kıbrısta BM Tarafından Gerçekleştirilen.Soyalp Tamçeli̇k - 2013 - Journal of Turkish Studies 8 (Volume 8 Issue 5):733-778.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Ludvík Feuerbach.Jakub Netopilík - 1973 - Praha,: Horizont, t. Jihočes. tisk., Čes. Budějovice.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Háttér előtt: Írások a magyar filozófia múltjáról és jelenéről.László Perecz - 2013 - Pozsony: Kalligram.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  23
    Jungmann, K. René Descartes.K. Jungmann - 1908 - Kant Studien 13 (1-3).
  36. Ḳunṭres Hagut teshuvah:... be-hilkhot teshuvah leha-Rambam.Aryeh Malkiʼel Ḳoṭler - 2001 - Laiḳṿaʼud: Katriʼel Blum. Edited by Moses Maimonides.
     
    Export citation  
     
    Bookmark  
  37. Kʻung tsʻung-tzu.Fu Kʻung - 1959 - Edited by Jung Chʻêng.
     
    Export citation  
     
    Bookmark  
  38.  12
    Hommage einer Autorin an GBL.Sch ne-Seifert M. Nster Bettina - 2008 - Ethik in der Medizin 20 (4):269-270.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Sultanbeyli: Enformelin Kurucu Yıkıcı Gücü.Oğuz Işık & M. Melih Pınarcıoğlu - 2003 - Cogito 35:21-27.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Ḳunṭres Ḳorot batenu arazim: simane derekh le-vinyan ha-bayit ha-Yehudi.Sh Ḳarlbakh - 1997 - Bene Beraḳ: Ḳarlbakh.
     
    Export citation  
     
    Bookmark  
  41.  3
    K̲h̲irad afrozī aur raushan k̲h̲ayālī.Rifʻat Iqbāl K̲h̲ān - 2012 - Ḥaidarābād: Fikshan Hāʼūs.
    Study of rationalism in Urdu literature.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. K̲h̲ālasā jīwana ate guramati rahita marayādā: saccakhaṇḍā wāsī brahama giānī Santa Gurabacana Siṅgha Jī 'K̲h̲ālasā Bhiṇḍarām wāliāṃ da pawittra jīwana ate guramati anusāra pañja saṃskāra, gurabāṇī dā adaba te dehadhārī pakhaṇḍī gurūāṃ da khaṇḍana.Karatāra Siṅgha K̲h̲ālasā - 2000 - Mahitā: Damadamī Ṭakasāla Jathā Bhiṇḍarāṃ.
    On Sikh ethics; includes brief biographies of Sikh religious leaders.
    No categories
     
    Export citation  
     
    Bookmark  
  43. K̲h̲udā, kāʼinātu ain māṇhu: zindāgīan jī abadī haqīqatan kī narvār kanduṛ caund maz̤mūna.Vaḥīduddīn K̲h̲ān̲ - 2000 - Sakkar: Milanu jā handa, ʻAzīz Būk Isṭor. Edited by Amānu Shaik̲h̲u.
     
    Export citation  
     
    Bookmark  
  44. K probleme filosofii i︠a︡zyka.K. Kh Khanazarov - 2007 - Tashkent: Uzbekistan.
     
    Export citation  
     
    Bookmark  
  45.  2
    Aporiák próbatétele: tanulmányok, esszék.Lóránt Kicsák - 2015 - [Budapest]: Líceum.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  13
    Yuri K. Melvil's "Charles Peirce and Pragmatism". [REVIEW]Paul K. Crdsser - 1971 - Philosophy and Phenomenological Research 32 (2):271.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Hod ha-ḳeraḥ ha-nora: le-verur meḳomah shel ruaḥ-ha-kefirah be-ṭahor ruaḥ-ha-emunah be-dorenu: perush la-maʼamar Yisurim memoraḳim sheba-sefer Orot, "Zerʻonim", pereḳ 5 la-rav R. Avraham Yitsḥaḳ ha-Kohen Ḳuḳ, zatsal.Yosef Ḳelner - 2005 - Yerushalayim: Netivot emunah. Edited by Abraham Isaac Kook.
     
    Export citation  
     
    Bookmark  
  48.  17
    K'aokuhsue yu Kechishih . Hsia Nai.K. C. Chang - 1981 - Isis 72 (2):317-318.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  5
    Ahlâk-ı alâ'î : Kınalızâde'nin ahlâk kitabı (inceleme - çeviri yazı - tıpkıbasım).Kınalızade Ali Çelebi - 2014 - Fatih, İstanbul: Türkiye Yazma Eserler Kurumu Başkanlığı. Edited by Mustafa Koç.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    Ahlâk-ı Alâʼî: tıpkıbasım.Kınalızade Ali Çelebi - 2011 - Ankara: TurkTarih Kurumu. Edited by Fahri Unan.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 987