Results for 'P. C. Gilmore'

1000+ found
Order:
  1.  10
    Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
  2.  6
    An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
  3.  26
    Meeting of the association for symbolic logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  4.  19
    Meeting of the Association for Symbolic Logic, New York, 1974.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  5.  28
    Some forms of completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.
  6.  12
    Dequoy N.. Axiomatique intuitionniste sans négation de la géométrie projective. Collection de logique mathématique, série A. Offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 108 pp. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  12
    Review: D. van Dantzig, Comments on Brouwer's Theorem on Essentially-Negative Predicates. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
  8.  21
    Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
  9.  6
    Review: N. Dequoy, Axiomatique Intuitionniste sans Negation de la Geometrie Projective. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
  10.  15
    van Dantzig D.. Comments on Brouwer's theorem on essentially-negative predicates. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 , pp. 949–957; also Indagationes mathematicae vol. 11 , pp. 347–355. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
  11.  8
    van Dantzig D.. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 123–135. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    Valpola Veli. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 , pp. 107–114. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):380-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  12
    Valpola Veli. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki 1955, 247 pp. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):355-356.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  35
    Weyl Hermann. Über die neue Grundlagenkrise der Mathematik. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 211–247.Weyl Hermann. Nachtrag Juni 1955. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 247–248. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (1):81-82.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Relative interfacial free energies in pure nickel, dispersion hardened nickel, and a precipitation hardened nickel-base alloy.L. E. Murr, P. J. Smith & C. M. Gilmore - 1968 - Philosophical Magazine 17 (145):89-106.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  27
    P. C. Gilmore. An addition to “Logic of many-sorted theories.”Compositio mathematica, vol. 13 , pp. 277–281.H. Arnold Schmidt - 1968 - Journal of Symbolic Logic 32 (4):521.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  19
    The Philosophical Disenfranchisement of Art.Arthur C. Danto & Jonathan Gilmore - 1986 - New York: Cambridge University Press.
    In this acclaimed work, first published in 1986, world-renowned scholar Arthur C. Danto explored the inextricably linked but often misunderstood relationship between art and philosophy. In light of the book's impact -- especially the essay "The End of Art," which dramatically announced that art ended in the 1960s -- this enhanced edition includes a foreword by Jonathan Gilmore that discusses how scholarship has changed in response to it. Complete with a new bibliography of work on and influenced by Danto's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Perspectives on global change theory.P. C. Peters Debra, T. Bestelmeyer Brandon & K. Knapp Alan - 2011 - In Samuel M. Scheiner & Michael R. Willig (eds.), The theory of ecology. London: University of Chicago Press.
     
    Export citation  
     
    Bookmark  
  19. Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories.". [REVIEW]H. Arnold Schmidt - 1967 - Journal of Symbolic Logic 32 (4):521-521.
  20.  9
    Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
  21.  46
    P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 , pp. 28–35. [REVIEW]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
  22. Review: P. C. Gilmore, A Proof Method for Quantification Theory: Its Justification and Realization. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):124-125.
     
    Export citation  
     
    Bookmark  
  23.  12
    Review: P. C. Gilmore, An Alternative to Set Theory; P. C. Gilmore, The Monadic Theory of Types in the Lower Predicate Calculus. [REVIEW]Bede Rundle - 1972 - Journal of Symbolic Logic 37 (4):766-767.
  24. Does quantum mechanics play a non-trivial role in life?P. C. W. Davies - unknown
    There have been many claims that quantum mechanics plays a key role in the origin and/or operation of biological organisms, beyond merely providing the basis for the shapes and sizes of biological molecules and their chemical affinities. These range from Schr¨odinger’s suggestion that quantum fluctuations produce mutations, to Hameroff and Penrose’s conjecture that quantum coherence in microtubules is linked to consciousness. I review some of these claims in this paper, and discuss the serious problem of decoherence. I advance some further (...)
     
    Export citation  
     
    Bookmark   12 citations  
  25. Extension of Wheeler-Feynman quantum theory to the relativistic domain I. Scattering processes.P. C. W. Davies - unknown
    Institute of Theoretical Astronomy, University of Cambridge, Cambridge, UK 3fS. received 28th August 1970, in final revised form 1st July 1971..
     
    Export citation  
     
    Bookmark   11 citations  
  26. Psychology of Reasoning: Structure and Content.P. C. Wason & P. N. Johnson - 1974 - Philosophy and Rhetoric 7 (3):193-197.
     
    Export citation  
     
    Bookmark   200 citations  
  27. Space and Time in the Modern Universe.P. C. W. Davies - 1978 - British Journal for the Philosophy of Science 29 (3):289-293.
  28.  9
    Superforce: The Search for a Grand Unified Theory of Nature.P. C. W. Davies - 1984
  29.  26
    Boekbesprekingen.P. C. Beentjes, Bart J. Koet, J. T. A. G. M. van Ruiten, Martin Parmentier, Liuwe H. Westra, Martien Parmentier, Th Bell, P. Schotsmans, H. J. Adriaanse, Jacques Haers, Lourens Minnema & Kees Verduijn - 1995 - Bijdragen 56 (1):73-114.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  22
    Boekbesprekingen.P. C. Beentjes, Martin Parmentier, Ben Hemelsoet, Dirk Monshouwer, Marcel Sarot, P. Verdeyen, W. A. de Pater, A. H. C. van Eijk, L. Anckaert, Arie L. Molendijk & J. Ambaum - 1997 - Bijdragen 58 (2):210-235.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  15
    Boekbesprekingne.P. C. Beentjes, W. G. Tillmans, Alhm van Wieringen & J. -M. Tison - 1985 - Bijdragen 46 (1):87-111.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  12
    Bookreviews.P. C. Beentjes, M. Parmentier, C. van Vliet, J. Vijgen, S. Hennecke, A. H. C. van Eijk, P. Schotsmans, M. Moyaert, H. J. Adriaanse, A. L. Molendijk & H. Strijards - 2004 - Bijdragen 65 (2):241-251.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  17
    Boekbesprekingen.P. C. Beentjes, Bart J. Koet, Th Bell, J. Muis, Susanne Hennecke, Willem B. Drees, Ton Meijers, Gerard Rouwhorst & H. G. M. de Groot - 2003 - Bijdragen 64 (3):348-362.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  14
    Boekbesprekingen.P. C. Beentjes, Theo de Kruijf, Martin Parmentier, Th Bell, Didier Pollefeyt, Erik Sengers, Jörgen Vijgen, Walter Van Herck, Staf Hellemans, Henk Burggraaff & A. H. C. Van Eijk - 2001 - Bijdragen 62 (1):104-122.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  14
    Boekbesprekingen.P. C. Beentjes, Bart J. Koet, Erik Eynikel, Eric Ottenheijm, Martin Parmentier, Th Bell, P. van Geest, A. H. C. van Eijk, Grietje Dresen, Erik Sengers, A. Meijers, W. Putman, Paul van Geest, Marcel Sarot, V. Neckebrouck, Marcel Poorthuis & Stijn Van den Vossche - 2001 - Bijdragen 62 (2):215-242.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  30
    Boekbesprekingen.P. C. Beentjes, Theo de Kruijf, Herman-Emiel Mertens, Th Bell, Paul van Geest, Johan Ardui, Martin Parmentier, Toon Brekelmans, A. H. C. van Eijk, Geert van Dartel, A. Meijers, Erik Sengers, Carlo Leget, Ben Vedder, H. J. Adriaanse, M. Parmentier & Joke Maex - 2001 - Bijdragen 62 (3):342-365.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  20
    Boekbesprekingen.P. C. Beentjes, Theo de Kruijf, P. W. van der Horst, Paul van Geest, M. E. Brinkman, Marcel Poorthuis, A. H. C. van Eijk, J. -J. Suurmond, Olav Boelens, Walter Van Herck, Rico Sneller & M. van den Berk - 2001 - Bijdragen 62 (4):469-488.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  13
    Boekbesprekingen.P. C. Beentjes, H. Rikhof, Olav Boelens, H. Rikhot, Ton Meijers, H. J. Adriaanse, Desiree Berendsen, Walter Van Herck, Arie L. Molendijk & Peter-Ben Smit - 2003 - Bijdragen 64 (4):464-478.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  17
    Boekbesprekingen.P. C. Beentjes, Nico Schreurs, A. H. C. van Eijk, A. van Iersel, Peter van Veldhuijsen, Ben Vedder, Lourens Minnema & V. Neckebrouck - 1995 - Bijdragen 56 (3):340-355.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  18
    Bookreviews.P. C. Beentjes, Bart J. Koet, Th Bell, H. J. Adriaanse, M. Moors, Tammy Lynn Castelein, Paul Schotsmans & Annemiek de Jong-van Campen - 2005 - Bijdragen 66 (2):221-234.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  23
    Bookreviews.P. C. Beentjes, Hans Lammers, R. Bieringer, Martin Parmentier, Bart J. Koet, C. T. M. van Vliet, Rob Faesen, Arie L. Molendijk, Walter Van Herck & Pascal Borry - 2005 - Bijdragen 66 (4):458-471.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  18
    Bookreviews.P. C. Beentjes, Bart J. Koet, Rob Faesen, H. Rikhof, Nico Schreurs, Inigo Bocken, Ton Meijers, Marianne Moyaert, Carlo Leget & Arie L. Molendijk - 2006 - Bijdragen 67 (1):90-108.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  12
    Bookreviews.P. C. Beentjes, Bart J. Koet, Joseph Pamplaniyil, Pim Valkenberg, Willem Lemmens, Donald Loose, Walter Van Herck & Inigo Bocken - 2006 - Bijdragen 67 (2):229-239.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  18
    Boekbesprekingen.P. C. Beentjes, J. T. A. G. M. van Ruiten, Th Bell, L. van Tongeren, Pim Valkenberg, Luc Anckaert, L. De Vos, Nas Cornips, Luc Fonteyn, Johan G. Hahn & Bart J. Koet - 1994 - Bijdragen 55 (3):325-343.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  22
    Boekbesprekingen.P. C. Beentjes, J. van Ruiten, Erik Eynikel, Martin Parmentier, Marcel Poorthuis, Bart J. Koet, Marc Schneiders, H. Rikhof, R. G. W. Huysmans, F. Smit, M. Parmentier, Paul Vanderghote, Peter van Veldhuijsen, A. van de Pavert, Jeroen Vis, Wim Reedijk, Astrid Kaptijn, Martien Parmentier & Hanneke Reuling - 1993 - Bijdragen 54 (1):84-110.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  29
    Boekbesprekingen.P. C. Beentjes, Bart J. Koet, Jan Lambrecht, A. van Dijk, Ad van der Helm, Th Bell, Heleen van de Reep, Freda Dröes, J. Besemer, Marieke Maes, Johan G. Hahn & Joh G. Hahn - 1992 - Bijdragen 53 (3):323-344.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  25
    Boekbesprekingen.P. C. Beentjes, J. Lambrecht, Hendrik Hoet, Jaap van der Meij, W. G. Tillmans, Marcel Poorthuis, Th C. de Kruijf, B. Dehandschutter, Martin Parmentier, L. van Tongeren, Th Bell, J. Y. H. A. Jacobs, A. J. M. van der Helm, Hans Goddijn, H. J. Adriaanse, H. Rikhof, A. Braeckman, Henk Hoekstra & Johan G. Hahn - 1992 - Bijdragen 53 (1):86-111.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  26
    Boekbesprekingen.P. C. Beentjes, W. G. Tillmans, Kitty Mul, J. Lambrecht, ThC de Kruijf, Marc Schneiders, Hans Goddijn, Henk J. M. Schoot, Jan Lambrecht, J. Y. H. A. Jacobs, G. Rouwhorst, F. J. Theunis, D. J. Leys, Drs Jlm Vis, Drs J. L. M. Vis, A. Braeckman, A. Pavert, A. van de Pavert, E. Dirven, Joan Hemels & Joh G. Hahn - 1990 - Bijdragen 51 (4):440-463.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  33
    Boekbesprekingen.P. C. Beentjes, Marc Schneiders, J. Lambrecht, Wim Weren, Bart J. Koet, M. J. J. Menken, J. C. Delbeek, G. Rouwhorst, Jacques van Ruiten, Ulrich Hemel, W. G. Tillmans, Ad V. D. Helm, Ad van der Helm, Drs J. L. M. Vis, A. van de Pavert, H. J. Adriaanse, A. A. Derksen, Freda Dröes & Joh G. Hahn - 1990 - Bijdragen 51 (3):324-343.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  21
    Boekbesprekingen.P. C. Beentjes, Erik Eynikel, Paul van Geest, Els Rose, J. Vijgen, Veerle Fraeters, A. H. C. van Eijk, J. Muis, Carlo Leget, Paul Schotsmans, Olav Boelens, Joke Maex, Erik Sengers, Ghislaine van Opstal, Inigo Bocken, H. J. Adriaanse, Roland Duhamel, Wim Smit & Bart J. Koet - 2003 - Bijdragen 64 (2):222-243.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000