Switch to: Citations

Add references

You must login to add references.
  1. An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 2009 - [New York]: Cambridge University Press.
    Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a (...)
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.
    Download  
     
    Export citation  
     
    Bookmark   237 citations  
  • (1 other version)Logic for Computer Science. Foundations of Automatic Theorem Proving.Frank Pfenning - 1989 - Journal of Symbolic Logic 54 (1):288-289.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Nachgelassene Schriften.R. H. Stoothoff - 1971 - Philosophical Quarterly 21 (82):77.
    Download  
     
    Export citation  
     
    Bookmark   87 citations  
  • Logik. Eine Untersuchung der Principien der Erkenntniss und der Methoden wissenschaftlicher Forschung.Wilhelm Wundt - 1880 - Mind 5 (19):409-424.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Grundgesetze der arithmetik.Gottlob Frege - 1893 - Jena,: H. Pohle.
    Download  
     
    Export citation  
     
    Bookmark   146 citations  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   325 citations  
  • Logik: Eine Untersuchung der Prinzipien der Erkenntnis und der Methoden Wissenschaftlicher Forschung.Wilhelm Wundt - 1909 - Philosophical Review 18 (1):84-85.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logik Drei Bücher Vom Denken, Vom Untersuchen Und Vom Erkennen.Hermann Lotze - 1874 - Leipzig: S. Hirzel.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Logic: Form and Function : The Mechanization of Deductive Reasoning.J. D. Halpern - 1979 - New York, NY, USA: North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (2 other versions)Logic: Form and Function. The Mechanization of Deductive Reasoning.J. D. Halpern - 1986 - Journal of Symbolic Logic 51 (1):227-229.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Schroeder's Die Operationskreis des Logikkalkuls. [REVIEW]C. A. Foley - 1878 - Mind 3:252.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Logik: eine Untersuchung der Principien der Erkenntniss und der Methoden wissenschaftlicher Forschung.Wilhelm Wundt (ed.) - 1893 - Enke.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
    Download  
     
    Export citation  
     
    Bookmark   20 citations