Results for 'Hermann Fr��nkel'

1000+ found
Order:
  1.  93
    Typed Lambda-Calculus in Classical Zermelo-Frænkel Set Theory.Jean-Louis Krivine - 2001 - Archive for Mathematical Logic 40 (3):189-205.
    , which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. Gerecenseerde werken-boekbesprekingen-Hermann fr.-w. Von, hermeneutische phanomenologie Des daseins.R. Lemmens - 2007 - Tijdschrift Voor Filosofie 69 (1):159.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  6
    Glockner, Hermann, Th. Fr. Vischers Ästhetik in ihrem Verhältnis zu Hegels Phänomenologie des Geistes.Hellmuth Falkenfeld - 1923 - Kant Studien 28 (1-2):182.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. 22. Μυδηλός?K. Fr Hermann - 1853 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 8 (3):570-571.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. 35. Zu Sophokles Oed. Col. 523.K. Fr Hermann - 1854 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 9 (1-4):586-586.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. 5. Zu Lucretius.K. Fr Hermann - 1853 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 8 (1):180-181.
  7. Zu Ciceros Epp. Ad Fam. III, 7.K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (1):114-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. 25. Zu Cicero de Lege Agraria II. 13.K. Fr Hermann - 1851 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 6 (1-4):576-576.
  9. XVI. Zur Frage Über Das Zveitverhältniss der Beiden Symposien.K. Fr Hermann - 1853 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 8 (2):329-339.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. XV. Parerga Critica.K. Fr Hermann - 1855 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 10 (1-4):233-244.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. XXVII. Ein Bürgereid des Griechischen Alterthums.K. Fr Hermann - 1854 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 9 (1-4):694-710.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. XIX. Die Verehrung der Götterinutter Im Piräeus Nach Neucntdeckten Inschriften.K. Fr Hermann - 1855 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 10 (1-4):293-299.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. XX. Beiträge Zur Kritik von Cicero's Lucullus.K. Fr Hermann - 1852 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 7 (1-4):466-476.
  14. XXIV. Anacreon de Natura Deorum.K. Fr Hermann - 1855 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 10 (1-4):322-324.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Xiv. ‘Αλφηστής.K. Fr Hermann & C. Sintenis - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (3):428-440.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. 29. Das Satyrdrama des Pratinas.K. Fr Hermann - 1848 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 3 (1-4):507-509.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    28. Das Bruchstück des Kydias in Platon’s Charmides.K. Fr Hermann - 1850 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 5 (4):737-739.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Kerkaphos von Rhodos.K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (1):170-170.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. I. Ueber Die Attischen Diasien Und Die Verehrung des Zeus Meilichios Zu Athen.K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (1):1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. IX. Bemerkungen Zu den Monologischen Glossen des Papias.K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (2):262-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. 25. Eine Neue Choragische Inschrift Aus Athen.K. Fr Hermann - 1853 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 8 (3):576-576.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. 1. Parerga Critica.K. Fr Hermann - 1848 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 3 (1-4):99-106.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. 30. Parerga.K. Fr Hermann - 1848 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 3 (1-4):509-519.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Rintelen, Fr.-J., Dämonie des Willens. [REVIEW]Hermann Krings - 1948 - Zeitschrift für Philosophische Forschung 3:147.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  4
    Schmid, F. Α., Fr. H. Jacobi.Hermann Bauke - 1911 - Kant Studien 16 (1-3):459.
  26. Ueber die Bedeutung von Fr. Th. Vischers Aesthetik für die ästhetischen Bestrebungen der Gegenwart.Hermann Glockner - 1924 - Rivista di Filosofia 13:67.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Hesnard, O., Fr. Th. Vischer.Hermann Glockner - 1924 - Kant Studien 29:528.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Hesnard, O., Fr. Th. Vischer. [REVIEW]Hermann Glockner - 1924 - Société Française de Philosophie, Bulletin 29:528.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  30
    Livy and Polybius Hermann Tránkle: Livius Und Polybios. Pp. 254. Basel–Stuttgart: Schwabe, 1977. Cloth, 60 Sw. Frs.John Briscoe - 1978 - The Classical Review 28 (02):267-269.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. XII. Gottesurtheil Bei Griechen Und Römern.K. H. Funkhänel & K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (3):385-402.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    Book Review:Fr. Nietzsche Und Seine Philosophischen Irrwege. Hermann Turck. [REVIEW]G. von Gizycki - 1892 - International Journal of Ethics 2 (4):533-.
  32.  22
    Kleon the Tanner Hermann Lind: Der Gerber Kleon in den 'Rittern' des Aristophanes. Studien Zur Demagogenkomödie. (Studien Zur Klassischen Philologie, 51.) Pp. 283; 14 Figs. Frankfurt Am Main, Berne, New York and Paris: Peter Lang, 1990. Paper, DM 74/Sw. Frs. 71. [REVIEW]Jeffrey Henderson - 1992 - The Classical Review 42 (01):14-16.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  7
    VII. De Gracci Sermonis Nominibus in Τρον Formatis Corumque Coniugatis Et Vicariis.O. Schneider & K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (2):212-245.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. VI. Ueber Die Tendez Und Die Zeit der Elften Pythischen Ode Pindars.Rudolph Rauchenstein & K. Fr Hermann - 1847 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 2 (2):193-211.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  1
    Mikel Dufrenne, L’Inventaire des a Priori. Recherche de L’Originaire, Fac-Similé Précédé D’Une Introduction de Maud Pouradier, Caen, Presses Universitaires de Caen, « Fontes & Paginae », Équipe « Identité Et Subjectivité », 2021 - Herman Parret, La Main Et la Matière, Jalons D’Une Haptologie de L’Œuvre D’Art, Paris, Hermann, 2018 - Michel Guérin, Expérience Et Intention, Aix-Marseille, Presses Universitaires de Provence, « Arts », 2020 - Vincent Metzger, De L’Interruption Dans L’Aphorisme Et L’Essai, Préface de Biagio D’Angelo, Paris, L’Harmattan, « Eidos », 2021 - Bence Nanay, L’Esthétique, Une Philosophie de la Perception, Trad. Fr. De Jacques Morizot, Rennes, Presses Universitaires de Rennes, « Aesthetica », 2021 - Arnold Berleant, L’Engagement Esthétique, Trad. Fr. De Bertrand Rougé, Rennes, Presses Universitaires de Rennes, « Aesthetica », 2022. [REVIEW]Dominique Chateau - 2022 - Nouvelle Revue D’Esthétique 1:171-176.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    Gottfried Hermann (1772-1848), un philologue kantien.Clémence Couturier-Heinrich - forthcoming - Rhuthmos.
    Ce texte a déjà paru dans la Revue germanique internationale, n° 14, 2011. Nous remercions Clémence Couturier-Heinrich de nous avoir autorisé à le reproduire ici. Résumé : Gottfried Hermann (1772-1848) a fait ses études, puis sa carrière d'enseignant et de chercheur à Leipzig. Parmi les philologues classiques allemands de la première moitié du XIXesiècle, il se singularise par l'influence que la philosophie de Kant a exercé sur ses conceptions théoriques dans plusieurs domaines, notamment la métrique. (...) - Études germaniques (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Le Principe de la Méthode Infinitésimale Et Son Histoire Un Chapitre Dans la Fondation de la Connaissance.Hermann Cohen - 1999 - Vrin.
    Cette étude est à la fois une révision profonde de la théorie kantienne de l’expérience et une histoire du bouleversement qu’a entraîné, pour la physique, la découverte du calcul différentiel. La méthode qu’en dégage Cohen est destinée à fonder une nouvelle critique de la connaissance. C’est en même temps l’un des piliers philosophiques essentiels de l’idéalisme critique propre à l’École de Marbourg, qui débouchera sur la pierre angulaire du système de Cohen, sa Logique de la connaissance pure.Cet ouvrage est un (...)
    No categories
     
    Export citation  
     
    Bookmark  
  38.  26
    Egologische reflexion.Hermann Ulrich Asemissen - 1958 - Kant Studien 50 (1-4):262-272.
  39. Die zweite Schicht des Denkens in den Naturwissenschaften und im Leben.Hermann Triepel - 1926 - Revue Philosophique de la France Et de l'Etranger 108:468-469.
     
    Export citation  
     
    Bookmark   1 citation  
  40. Hermann Gauss.F. Brunner - 1966 - Revue de Théologie Et de Philosophie 16:275.
    No categories
     
    Export citation  
     
    Bookmark  
  41. Cohen [Hermann].E. Bréhier - 1925 - Revue de Métaphysique et de Morale 32:359.
    No categories
     
    Export citation  
     
    Bookmark  
  42. « Kennis en realitet ».Hermann Meyer & J. Clay - 1953 - Revue Philosophique de la France Et de l'Etranger 143:631-638.
     
    Export citation  
     
    Bookmark  
  43. Sprache und Offenbarung, Zur Grenzbestimmung von Sprachphilosophie und Sprachtheologie.Hermann Noack - 1962 - Les Etudes Philosophiques 17 (1):127-127.
     
    Export citation  
     
    Bookmark  
  44. Souriau, Etienne, Les différents Modes d'Existence. [REVIEW]Hermann Noack - 1946 - Zeitschrift für Philosophische Forschung 1:150.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Lavelle, Louis, La Parole et l'Écriture. [REVIEW]Hermann Noack - 1946 - Zeitschrift für Philosophische Forschung 1:148.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  10
    La théologie politique comme théologie d'une religion repolitisée.Hermann Lübbe & Céline Jouin - 2014 - Les Etudes Philosophiques 111 (4):485.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Werke, 6.Hermann Cohen - 1980 - Revue de Métaphysique et de Morale 85 (3):428-428.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Logik der reinen Erkenntnis, , 2e éd.Hermann Cohen - 1914 - Revue de Métaphysique et de Morale 22 (4):15-15.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  49.  1
    L'éthique du Judaïsme.Hermann Cohen - 1994 - Cerf.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. La théorie kantienne de l'expérience, coll. « Passages ».Hermann Cohen, Éric Dufour, Julien Servois & D'Éric Dufour - 2002 - Revue Philosophique de la France Et de l'Etranger 192 (4):481-482.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000