Results for 'Thomas S. E. Maibaum'

1000+ found
Order:
  1. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   6 citations  
  2.  18
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  4.  9
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  5.  6
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
  6.  28
    P. Tebt. IV J. G. Keenan, J. C. Shelton: The Tebtunis Papyri. Vol. IV. (E.E.S. Graeco-Roman Memoirs, 64.) Pp. Xv + 293. London: Egypt Exploration Society, 1976. Cloth. [REVIEW]J. David Thomas - 1978 - The Classical Review 28 (02):333-335.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    Chaucer's Physician. Medicine and Literature in Fourteenth Century England. Huling E. Ussery.Phillip Drennon Thomas - 1973 - Isis 64 (4):550-551.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  25
    J. R. Rea: The Oxyrhynchus Papyri, Vol. XLVI. (E. E. S. Graeco- Roman Memoirs, 65.) Pp. Xvi + 127; 8 Plates. London: Egypt Exploration Society, 1978. [REVIEW]J. David Thomas - 1980 - The Classical Review 30 (02):316-317.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  23
    A Herodotean Companion E. J. Bakker, I. J. F. De Jong, H. Van Wees (Edd.): Brill's Companion to Herodotus . Pp. Xx + 652, Maps. Leiden, Boston, and Cologne: Brill, 2002. Cased, €179, US$208. ISBN: 90-04-12060-. [REVIEW]Rosalind Thomas - 2005 - The Classical Review 55 (02):402-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Errol E. Harris: "The Problem of Attributes in Spinoza's System".James Thomas - 1995 - Idealistic Studies 25:211.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. PASQUINI, P. e RANZI, S. - Biologia animale. [REVIEW]M. Thomas - 1942 - Scientia 36 (71):33.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Pasquini, P. E Ranzi, S. - Biologia Animale. [REVIEW]M. Thomas - 1942 - Scientia, Rivista di Scienza 36 (71):33.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  23
    Quantitative Latin Texts for Schools Messrs. Blackie's Series. 7″ × 4½″. Specimens. Horace: Odes III. Introd. Pp. V–Xiv, Text Pp. 59–97. Edited W. H. D. Rouse. Aeneid: Bk. II. Introd. V–Xiv, Text 1–28. Edited S. E. Winbolt. Both Price 6d. Livy: Bk. V. Introd. V–Xvii, Text 1–75. Edited E. Seymer Thompson. Price 8d. Mr. Edward Arnold's Series. 6¾″ × 4¼″. Specimens. Ovid, Selections. Introd. Pp. 5–7, Text Pp. 9–32, Vocab. Pp. 33–64. Edited G. Yeld. Caesar in Britain. Introd. 7–9, Text 11–29, Vocab. 31–64. Edited J. F. Dobson. Both Price 8d. [REVIEW]E. W. S. - 1906 - The Classical Review 20 (4):223.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  39
    The Commentary of St. Thomas Auqinas on Aristotle's Treatise on the Soul.Aquinas Saint Thomas - 1946 - [St. Paul.
    Aquinas Saint Thomas. The Commentary of St. Thomas Aquinas on Aristotle's Treatise on the soul Aquinas Saint Thomas TI-IE COMMENTARY . OF * ST. THOMAS AQUINAS ON I. Front Cover.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Annonce de fêtes solennels à l'occasion de l'anniversaire de la canonisation de S. Thomas.S. S. Academie Romaine De S. Thomas - 1923 - Revue Thomiste 28 (23/24):237.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. "Ragione e etica" di S. E. Toulmin.C. P. P. S. - 1970 - Giornale Critico Della Filosofia Italiana:599.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  29
    Thomas E. Burman, Reading the Qur'ān in Latin Christendom, 1140–1560.(Material Texts.) Philadelphia: University of Pennsylvania Press, 2007. Pp. Vii, 317; 10 Black-and-White Figures. $59.95. [REVIEW]David Thomas - 2008 - Speculum 83 (4):963-964.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  17
    Bibliografische Nota's. [REVIEW]A. Pattin, B. Delfgaauw, L. De Vos, J. Lannoy, I. Verhack, C. E. M. Struyker Boudder, Guido Vloemans, S. De Bleeckere, G. A. De Brie, Henk Struyker Boudier, Samuel Ijsseling, B. De Gelder, Peter Jonkers, F. Volpi, P. Van Overbeke, G. Fuller & A. H. Thomas - 1981 - Tijdschrift Voor Filosofie 43 (3):591 - 604.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  7
    Happiness and Human Flourishing in Kant's Ethics: THOMAS E. HILL, JR.Thomas E. Hill - 1999 - Social Philosophy and Policy 16 (1):143-175.
    Ancient moral philosophers, especially Aristotle and his followers, typically shared the assumption that ethics is primarily concerned with how to achieve the final end for human beings, a life of “happiness” or “human flourishing.” This final end was not a subjective condition, such as contentment or the satisfaction of our preferences, but a life that could be objectively determined to be appropriate to our nature as human beings. Character traits were treated as moral virtues because they contributed well toward this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Thomas Reid's Inquiry and Essays Edited by Keith Lehrer and Ronald E. Beanblossom; Introd. By Ronald E. Beanblossom. --.Thomas Reid, Keith ed Lehrer & Ronald E. Beanblossom - 1975 - Bobbs-Merrill.
     
    Export citation  
     
    Bookmark  
  21.  19
    Benoist and Thomas's Edition of Catullus Les Poésies de Catulle. Texte Revu d'Après les Travaux les Plus Recents de la Philologie, Avec Un Commentaire Critique Et Explicatif, Par E. Benoist Et Émile Thomas. Tome II. Paris, 1890. [REVIEW]Robinson Ellis - 1890 - The Classical Review 4 (09):410-412.
  22.  16
    Resenha: Thomas S. Kuhn, O caminho desde a Estrutura: ensaios filosóficos 1970-1993, com uma entrevista autobiográfica (Ed. por James Conant e John Haugeland. Tradução por Cezar Mortari. São Paulo: Editora UNESP, 2006). [REVIEW]Tamires Dal Magro - 2012 - Principia: An International Journal of Epistemology 16 (2):345-352.
    http://dx.doi.org/10.5007/1808-1711.2012v16n2p345.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  5
    Resenha: Thomas S. Kuhn, O caminho desde a Estrutura: ensaios filosóficos 1970-1993, com uma entrevista autobiográfica (Ed. por James Conant e John Haugeland. Tradução por Cezar Mortari. São Paulo: Editora UNESP, 2006). [REVIEW]Tamires Dal Magro - 2013 - Principia: An International Journal of Epistemology 16 (2):345-352.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  5
    Thomas S. kuhn e Michael Polanyi: uno studio sulle "abilità preverbali".Alfio Allò - 2014 - Epistemologia 37 (2):302-323.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  2
    Thomas S. kuhn e Michael Polanyi: uno studio sulle "abilità preverbali".Alfio Allò - 2015 - Epistemologia 2:302-323.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  9
    Recent Biographical Studies in the Physical SciencesUncertainty: The Life and Science of Werner Heisenberg. David C. CassidySteinmetz: Engineer and Socialist. Ronald R. KlineA Scientist's Voice in American Culture: Simon Newcomb and the Rhetoric of Scientific Method. Albert E. MoyerHarriet Brooks: Pioneer Nuclear Scientist. Marelene F. Rayner-Canham, Geoffrey W. Rayner-CanhamSelections and Reflections: The Legacy of Sir Lawrence Bragg. John M. Thomas, David PhillipsThe Joy of Insight: Passions of a Physicist. Victor Weisskopf. [REVIEW]Cathryn Carson & Silvan S. Schweber - 1994 - Isis 85 (2):284-292.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Science Studies: An Exemplar A Review Essay of E.-M. Sent's The Evolving Rationality of Rational Expectations: An Assessment of Thomas Sargent's Achievements. [REVIEW]S. C. Dow - 2001 - Journal of Economic Methodology 8 (3):423-427.
  28.  17
    Boolos George. The Iterative Conception of Set. The Journal of Philosophy, Vol. 68 , Pp. 215–231.Scott Dana. Axiomatizing Set Theory. Axiomatic Set Theory, Edited by Jech Thomas J., Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence 1974, Pp. 207–214.Reinhardt W. N.. Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings. Axiomatic Set Theory, Edited by Jech Thomas J., Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence 1974, Pp. 189–205.Reinhardt W. N.. Set Existence Principles of Shoenfield, Ackermann, and Powell. Fundament a Mathematicae, Vol. 84 , Pp. 5–34.Wang Hao. Large Sets. 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 Butts Robert E. And Hintikka Jaakko, The University of Western Ontario S. [REVIEW]John P. Burgess - 1985 - Journal of Symbolic Logic 50 (2):544-547.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  20
    "The Lyf of Oure Lady": The ME Translation of Thomas of Hales' "Vita Sancte Marie" Ed. From MS St. George's Chapel, Windsor Castle, E.I.I.Sarah M. Horrall. [REVIEW]Derek Pearsall - 1987 - Speculum 62 (1):139-141.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Thomas E. Uebel, "Overcoming Logical Positivism From Within: The Emergence of Neurath's Naturalism in the Vienna Circle's Protocol Sentence Debate". [REVIEW]Gary L. Hardcastle - 1994 - Journal of the History of Philosophy 32 (4):685.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  30
    T. W. Allen's Odyssey Homeri Opera recognovit Thomas W. Allen. Tomi iii, iv. Odyssea i-xxiv. Oxonii e Typographeo Clarendoniano, 1908. 2s. 6d. paper, 3s. cloth. [REVIEW]T. L. Agar - 1909 - The Classical Review 23 (02):50-53.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. E.M. Macierowski, Thomas Aquinas's Earliest Treatment Of The Divine Essence. [REVIEW]Charles Bolyard - 2000 - Philosophy in Review 20 (2):84-86.
     
    Export citation  
     
    Bookmark  
  33.  13
    Łukasiewicz Jan. A System of Modal Logic. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume Complémentaire Et Communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Editions E. Nauwelaerts, Louvain 1953, Pp. 82–87.Łukasiewicz Jan. A System of Modal Logic. The Journal of Computing Systems, Vol. 1 No. 3 , Pp. 111–149.Thomas Ivo. Note on a Modal System of Łukasiewicz. Dominican Studies, Vol. 6 , Pp. 167–170.Prior A. N.. The Interpretation of Two Systems of Modal Logic. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 201–208.Anderson Alan Ross. On the Interpretation of a Modal System of Łukasiewicz. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 209–210.Łukasiewicz Jan. Arithmetic and Modal Logic. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 213–219.Łukasiewicz Jan. On a Controversial Problem of Aristotle's Modal Syllogistic. Dominican Studies, Vol. 7 , Pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
  34.  42
    James E. Crimmins, Ed., Religion, Secularization and Political Thought, Thomas Hobbes to J. S. Mill, London, Routledge, 1990, Pp. 202. [REVIEW]Gregory Claeys - 1992 - Utilitas 4 (2):333.
  35.  15
    Review: John E. Freund, Statistical Vs. Pragmatic Inference; Thomas A. Cowan, A Note on Churchman's "Statistics, Pragmatics, Induction."; C. West Churchman, Reply to Comments on "Statistics, Pragmatics, Induction.". [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):62-63.
  36.  13
    Patrick Henry, Edwin Stein, Gabriele Poole, Richard Rumana, Gerald Prince, Tom Conley, Richard D. Lord, G. Mallary Masters, William E. Cain, Karsten Harries, Robert D. Cottrell, David Halliburton, Colette Gaudin, Virginia A. La Charité, Jeff Mitchell, John Goodliffe, Kerry S. Walters, Thomas Reinert, Dana R. Smith, Michael L. Hall, Christopher McClintick, Julie Van Camp, Warren Ginsberg, Steven Rendall, Donald Pizer, Jean A. Perkins, Roberta Davidson, Christopher Perricone, Peter J. Rabinowitz, Andrew J. McKenna, C. S. Schreiner, Anthony Roda, and Juniper Ellis. [REVIEW]Wendell V. Harris - 1995 - Philosophy and Literature 19 (1):136.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  27
    Aquinas on the Phsics St.Thomas Aquinas: Commentary on Aristotle's Physics. Translated by R. J. Blackwell, R. J. Spath, And W. E. Thirlkel, with an Introduction by V. J. Bourke. Pp. Xxxii + 599. London: Routledge, 1963, Cloth, 70s. Net. [REVIEW]D. W. Hamlyn - 1964 - The Classical Review 14 (03):267-269.
  38.  25
    Anthropological Essays Anthropological Essays Presented to E. B. Tylor in Honour of His 75th Birthday. By H. Balfour, A. E. Crawley, D. J. Cunningham, L. R. Farnell, J. G. Frazer, A. C. Haddon, E. S. Hartland, A. Lang, R. R. Marett, C. S. Myers, J. L. Myres, C. H. Read, Sir J. Rhys, W. Ridgeway, W. H. R. Rivers, C. G. Seligmann, and T. A. Toza, N. W. Thomas, A. Thomson, E. Westermarck. With a Bibliography by B. W. Freise-Marreco. Clarendon Press. [REVIEW]W. H. D. Rouse - 1908 - The Classical Review 22 (07):225-226.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  24
    Aristotle's Syllogisms Lynn E. Rose: Aristotle's Syllogistic. Pp. Vii+149. Springfield, Ill.: Charles C. Thomas, 1968. Cloth. [REVIEW]W. Charlton - 1969 - The Classical Review 19 (03):283-284.
  40. Sarah M. Horrall, Ed., “The Lyf of Oure Lady”: The ME Translation of Thomas of Hales' “Vita Sancte Marie” Ed. From MS St. George's Chapel, Windsor Castle, E.I.I. (Middle English Texts, 17.) Heidelberg: Carl Winter, 1985. Paper. Pp. 136. DM 68. [REVIEW]Derek Pearsall - 1987 - Speculum 62 (1):139-141.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  9
    The Nature of Law by Thomas E. Davitt, S. J.Felix Alluntis - 1953 - Franciscan Studies 13 (1):67-70.
  42.  10
    "A Sneetch Is a Sneetch and Other Philosophical Discoveries: Finding Wisdom in Children’s Literature," by Thomas E. Wartenberg. [REVIEW]Claudia Mills - 2014 - Teaching Philosophy 37 (4):553-556.
  43.  5
    Rose Lynn E.. Aristotle's Syllogistic. Charles C. Thomas, Publisher, Springfield, Illinois, 1968, Vii + 149 Pp. [REVIEW]Ivan Boh - 1971 - Journal of Symbolic Logic 36 (4):670-671.
  44.  16
    Linguistics (E.) Andrikou et al. Thèbes: fouilles de la Cadmée. II, Les tablettes en Linéaire B de la Odos Pelopidou: le contexte archéologique. 2, La céramique de la Odos Pelopidou et la chronologie du Linéaire B. (Biblioteca di 'Pasiphae' 2, 2). Pisa: Istituti editoriali e poligrafici internazionali, 2006. Pp. 257, illus. €345, 9788881473953 (hbk); €185, 9788881473960 (pbk). (S.) Deger-Jalkotzy and (O.) Panagl Eds. Die neuen Linear B-Texte aus Theben: Ihr Aufschlusswert für die mykenische Sprache und Kultur. Akten des internationalen Forschungskolloquiums an der Österreichischen Akademie der Wissenschaften, 5.-6. Dezember 2002. Redaktion, Thomas Lindner. (Denk-schriften / Österreichische Akademie der Wissen-schaften, Philosophisch-Historische Klasse 338. Veröffentlichungen der Mykenischen Kommission 23. Mykenische Studien 19). Vienna: Verlag der Österreichischen Akademie der Wissenschaften, 2006. Pp. 172, illus. €99. 9783700136408. [REVIEW]Cynthia W. Shelmerdine - 2008 - Journal of Hellenic Studies 128:266-.
  45.  16
    Romance and Politics/Romance and Folly: Thomas E. Wartenberg's Unlikely Couples.Richard Eldridge - 2002 - Journal of Social Philosophy 33 (2):322–329.
  46.  13
    Myth and History in Pindar Thomas Cole: Pindar's Feasts or the Music of Power. (Filologia E Critica, 69.) Pp. 174. Rome: Ateneo, 1992. L. 30,000. [REVIEW]Stephen Instone - 1993 - The Classical Review 43 (02):233-235.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Review of The Iśvarapratvabhijnakarika of Utpaladeva with the Author's Vrtti, by Raffaele Toreha; Jung and Eastern Thought: A Dialogue with the Orient, by John James Clarke ; Abu Yacqub Al-Sijistani: Intellectual Missionary, by Paul E. Walker ; Religious Pluralism and Truth: Essays on Cross-Cultural Philosophy of Religion, Ed. Thomas Dean ; and The Body, Self-Cultivation, and Ki-Energy, by Yuasa Yasuo, Trans. Shigenori Nagatomo and Monte S. Hull. [REVIEW]Karel Werner, J. Pickering, Oliver Leaman, Michael Levine & Alan Fox - 1996 - Asian Philosophy 6 (3):233-243.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Thomas E. Hill, Jr., "Dignity and Practical Reason in Kant's Moral Theory". [REVIEW]Allen W. Wood - 1994 - Journal of the History of Philosophy 32 (2):314.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  4
    Saint Thomas Aquina's Commentary on the Liber de Causis: Translation of Proemium and Propositions I, II, III, VI, XV, XXI, XXXI E XXXII.Carlos Frederico Silveira - 2012 - Synesis 4 (2):186-220.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    Thomas Jefferson's Garden Book. Edwin Morris BettsThomas Jefferson and the Scientific Trends of His Time. Charles A. BrowneJefferson and Agriculture. Everett E. EdwardsPapers Read Before the American Philosophical Society in Celebration of the Bicentennial of Thomas Jefferson. Thomas Jefferson. [REVIEW]Conway Zirkle - 1947 - Isis 37 (1/2):84-85.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000