Results for 'J. N. Crossley'

1000+ found
Order:
  1. What Is Mathematical Logic?J. N. Crossley - 1975 - Critica 7 (21):120-122.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  2.  33
    A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  3.  8
    Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  24
    Distributive Normal Forms in First-Order Logic.Jaakko Hintikka, J. N. Crossley & M. A. E. Dummett - 1966 - Journal of Symbolic Logic 31 (2):267-268.
  5.  35
    Infinitely Long Terms of Transfinite Type.W. W. Tait, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (4):623-624.
  6.  24
    Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  7.  90
    A note on Cantor's theorem and Russell's paradox.J. N. Crossley - 1973 - Australasian Journal of Philosophy 51 (1):70 – 71.
    It is claimed that cantor had the technical apparatus available to derive russell's paradox some ten years before russell's discovery.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  3
    Proof Theory.J. N. Crossley - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  9.  3
    Predicative Well-Orderings.J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (2):284-285.
  10. Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
     
    Export citation  
     
    Bookmark   3 citations  
  11.  9
    Preface.J. N. Crossley - 1986 - Annals of Pure and Applied Logic 32 (C):111.
  12.  35
    Meeting of the association for symbolic logic.J. N. Crossley - 1966 - Journal of Symbolic Logic 31 (2):290-302.
  13.  13
    A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem.Ronald Harrop, J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (1):125-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  7
    Reviews. [REVIEW]J. N. Crossley - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    BARWISE, J., "Handbook of Mathematical Logic". [REVIEW]J. N. Crossley - 1980 - Australasian Journal of Philosophy 58:178.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  23
    Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  17.  26
    Meeting of the association for symbolic logic.E. J. Lemmon, M. A. E. Dummett & J. N. Crossley - 1963 - Journal of Symbolic Logic 28 (3):262-272.
  18.  24
    Meeting of the Association for Symbolic Logic.E. J. Lemmon, M. A. E. Dummett & J. N. Crossley - 1963 - Journal of Symbolic Logic 28 (3):262-270.
  19.  8
    Cancellation laws for polynomial-time p-isolated sets.John N. Crossley & J. B. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):147-172.
    A universal Horn sentence in the language of polynomial-time computable combinatorial functions of natural numbers is true for the natural numbers if, and only if, it is true for PETs of p-time p-isolated sets with functions induced by fully p-time combinatorial operators.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  6
    Completeness proofs for propositional logic with polynomial-time connectives.John N. Crossley & Philip J. Scott - 1989 - Annals of Pure and Applied Logic 44 (1-2):39-52.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  18
    Formal Logic.John N. Crossley, Paul Lorenzen & Frederick J. Crosson - 1967 - Philosophical Quarterly 17 (66):83.
  22. J. N. Crossley and others, "what is mathematical logic?".José A. Robles - 1975 - Critica 7 (21):120.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  19
    Review: J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, N. H. Williams, What is Mathematical Logic? [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241-241.
  24.  8
    Review: J. N. Crossley, Anil Nerode, Combinatorial Functors. [REVIEW]Carl E. Bredlau - 1977 - Journal of Symbolic Logic 42 (4):586-587.
  25.  15
    J. N. Crossley and Anil Nerode. Combinatorial functors. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 81. Springer-Verlag, New York, Heidelberg, and Berlin, 1974, VIII + 146 pp. [REVIEW]Carl E. Bredlau - 1977 - Journal of Symbolic Logic 42 (4):586-587.
  26.  24
    J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams. What is mathematical logic?Oxford University Press, London, Oxford, and New York, 1972, ix + 82 pp. [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe 1100-1500.Constant J. Mews & Crossley John (eds.) - 2011 - Brepols Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Meinong's theory of objects and values.J. N. Findlay - 1971 - Revue Philosophique de la France Et de l'Etranger 161:497-497.
     
    Export citation  
     
    Bookmark   58 citations  
  29. Aspects of the Language of Latin Poetry.J. N. Adams & R. G. Mayer - unknown - Proceedings of the British Academy 93.
    International array of contributors, bringing together both traditional and more recent approaches to provide valuable insights into the poets’ use of language.Covers authors from Lucilius to Juvenal.Of the peoples of ancient Italy, only the Romans committed newly composed poems to writing, and for 250 years Latin-speakers developed an impressive verse literature.The language had traditional resources of high style, e.g., alliteration, lexical and morphological archaism or grecism, and of course metaphor and word order; and there were also less obvious resources in (...)
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  30. Meinong's Theory of Objects and Values.J. N. Findlay - 1967 - Zeitschrift für Philosophische Forschung 21 (4):628-629.
    No categories
     
    Export citation  
     
    Bookmark   32 citations  
  31.  41
    Associations across time: The hippocampus as a temporary memory store.J. N. P. Rawlins - 1985 - Behavioral and Brain Sciences 8 (3):479-497.
    All recent memory theories of hippocampal function have incorporated the idea that the hippocampus is required to process items only of some qualitatively specifiahle kind, and is not required to process items of some complementary set. In contrast, it is now proposed that the hippocampus is needed to process stimuli of all kinds, but only when there is a need to associate those stimuli with other events that are temporally discontiguous. In order to form or use temporally discontiguous associations, it (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   142 citations  
  32.  26
    A Medical Theory And The Text At Lactantius, Mort. Persec. 33.7 And Pelagonius 347.J. N. Adams - 1988 - Classical Quarterly 38 (2):522-527.
    It would be a mistake to attempt to identify in modern terms the disease of Galerius described so graphically by Lactantius, Mort. 33. Consumption by lice or worms, if not genital ‘gangrene’, was a typical end for a tyrant or the impious, and there must be an element of literary exaggeration in Lactantius' account. But whatever one makes of the nature of the illness, Lactantius did set out to give the passage a scientific plausibility by his use of technical medical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Proceedings of the British Academy, Volume 120, Biographical Memoirs of Fellows, II.J. N. Adams - 2003
    No categories
     
    Export citation  
     
    Bookmark  
  34.  48
    Romanitas’ and the Latin Language.J. N. Adams - 2003 - Classical Quarterly 53 (1):184-205.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  5
    Values and Intentions: A Study in Value-Theory and Philosophy of Mind.J. N. Findlay - 1961 - Zeitschrift für Philosophische Forschung 17 (2):335-340.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  36. Meinong's Theory of Objects.J. N. Findlay - 1934 - Mind 43 (171):374-382.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  37. Meinong's theory of objects.J. N. Findlay - 1933 - Oxford,: H. Milford.
  38.  22
    Values and Intentions: A Study in Value-Theory and Philosophy of Mind.J. N. Findlay - 1961 - New York,: Routledge.
    Professor Findlay in this book, originally published in 1961, set out to justify, and to some extent carry out, a ‘material value-ethic’, ie. A systematic setting forth of the ends of rational action. The book is in the tradition of Moore, Rashfall, Ross, Scheler and Hartmann though it avoids altogether dogmatic intuitive methods. It argues that an organised framework of ends of action follows from the attitude underlying our moral pronouncements, and that this framework, while allowing personal elaboration, is not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39. Plato: The Written and Unwritten Doctrines.J. N. Findlay - 1976 - Canadian Journal of Philosophy 6 (4):745-753.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  40.  10
    Comment by J. N. Findlay.J. N. Findlay - 1970 - Proceedings of the Hegel Society of America 1:249-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  10
    Values and Intentions: A Study in Value-Theory and Philosophy of Mind.J. N. Findlay - 1961 - Philosophy 39 (147):75-79.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  42. Hegel. A Re–examination.J. N. FINDLAY - 1958 - Mind 70 (278):264-269.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  43.  15
    Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  44.  44
    The structure of problems, (part I).J. N. Hattiangadi - 1978 - Philosophy of the Social Sciences 8 (4):345-365.
  45. Can God's existence be disproved?J. N. Findlay - 1948 - Mind 57 (226):176-183.
    No categories
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  46. Kant and the Transcendental Object a Hermeneutic Study /by J. N. Findlay. --. --.J. N. Findlay - 1981 - Clarendon Press Oxford University Press, 1981.
  47.  17
    Measurements of the optical constants of mercury and mercury-indium amalgams in the spectral region 4000 to 17 000 cm−1.J. N. Hodgson - 1959 - Philosophical Magazine 4 (38):183-193.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  38
    The Structure Of Problems, Part I.J. N. Hattiangadi - 1978 - Philosophy of the Social Sciences 8 (December):345-365.
  49. Can God's existence be disproved?J. N. Findlay & G. E. Hughes - 1955 - In Antony Flew (ed.), New essays in philosophical theology. New York,: Macmillan.
    No categories
     
    Export citation  
     
    Bookmark   7 citations  
  50. Hegel. A Re–examination.J. N. FINDLAY - 1958 - Les Etudes Philosophiques 14 (2):215-216.
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1000