The continued exercise of reason : public addresses /
Lectures, many never before published, that offer insights into the early thinking of the mathematician and polymath George Boole.George Boole (1815-1864), remembered by history as the developer of an eponymous form of algebraic logic, can be considered a pioneer of the information age not only beca...
| Main Author: | Boole, George, 1815-1864 (Author) |
|---|---|
| Other Authors: | Dooley, Brendan Maurice, 1953- (Editor) |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge, Massachusetts :
The MIT Press,
[2018]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
George Boole : selected manuscripts on logic and its philosophy /
by: Boole, George, 1815-1864
Published: (1997)
by: Boole, George, 1815-1864
Published: (1997)
A Boole anthology : recent and classical studies in the logic of George Boole /
Published: (2000)
Published: (2000)
A Boole anthology : recent and classical studies in the logic of George Boole /
Published: (2000)
Published: (2000)
The Boole-De Morgan correspondence, 1842-1864 /
by: Boole, George, 1815-1864
Published: (1982)
by: Boole, George, 1815-1864
Published: (1982)
George Boole ; a miscellany /
by: Barry, Patrick D.
Published: (1969)
by: Barry, Patrick D.
Published: (1969)
George Boole, his life and work /
by: MacHale, Des
Published: (1985)
by: MacHale, Des
Published: (1985)
The other mathematics : language and logic in Egyptian and in general /
by: Depuydt, Leo
Published: (2008)
by: Depuydt, Leo
Published: (2008)
A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)
by: Rieger, Ladislav, 1916-1963
Published: (1967)
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory /
by: Hailperin, Theodore
Published: (1986)
by: Hailperin, Theodore
Published: (1986)
The logician and the engineer : how George Boole and Claude Shannon created the information age /
by: Nahin, Paul J.
Published: (2012)
by: Nahin, Paul J.
Published: (2012)
Perspectives on the history of mathematical logic /
Published: (2008)
Published: (2008)
What is a logical system? /
Published: (1994)
Published: (1994)
Mathematics and plausible reasoning.
by: Pólya, George, 1887-1985
Published: (1954)
by: Pólya, George, 1887-1985
Published: (1954)
Mathematical reasoning : analogies, metaphors, and images /
Published: (1997)
Published: (1997)
Modelli sintattici e semantici delle teorie elementari.
by: Dalla Chiara, Maria Luisa, 1938-
Published: (1968)
by: Dalla Chiara, Maria Luisa, 1938-
Published: (1968)
Tracking reason : proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)
by: Azzouni, Jody
Published: (2006)
Tracking reason : proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)
by: Azzouni, Jody
Published: (2006)
Perspectives on the history of mathematical logic /
Published: (2008)
Published: (2008)
History of mathematical logic from Leibniz to Peano /
by: Sti︠a︡zhkin, N. I.
Published: (1969)
by: Sti︠a︡zhkin, N. I.
Published: (1969)
The search for truth /
by: Bell, Eric Temple, 1883-1960
Published: (1934)
by: Bell, Eric Temple, 1883-1960
Published: (1934)
From Peirce to Skolem : a neglected chapter in the history of logic /
by: Brady, Geraldine
Published: (2000)
by: Brady, Geraldine
Published: (2000)
Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)
Published: (2005)
Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)
Published: (2006)
Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)
Published: (2004)
Mathematical logic : a course with exercises /
by: Cori, René
Published: (2000)
by: Cori, René
Published: (2000)
Hanbdook of logic in computer science.
Published: (2020)
Published: (2020)
Non-standard logics for automated reasoning /
Published: (1988)
Published: (1988)
Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)
by: Conradie, Willem, 1978-, et al.
Published: (2015)
Linear logic in computer science /
Published: (2004)
Published: (2004)
Reasoning about theoretical entities /
by: Forster, T. E.
Published: (2003)
by: Forster, T. E.
Published: (2003)
Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /
Published: (2000)
Published: (2000)
Tracking reason : proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)
by: Azzouni, Jody
Published: (2006)
Many-sorted logic and its applications /
Published: (1993)
Published: (1993)
Collected works /
by: Gödel, Kurt
Published: (1986)
by: Gödel, Kurt
Published: (1986)
Learning to reason : an introduction to logic, sets and relations /
by: Rodgers, Nancy, 1941-
Published: (2000)
by: Rodgers, Nancy, 1941-
Published: (2000)
Foundations of inductive reasoning /
by: Christensen, Ronald, 1937-
Published: (1964)
by: Christensen, Ronald, 1937-
Published: (1964)
Mathematical interpretation of formal systems
Published: (1955)
Published: (1955)
Classical and fuzzy concepts in mathematical logic and applications /
by: Reghiș, Mircea
Published: (1998)
by: Reghiș, Mircea
Published: (1998)
Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (1989)
by: Schöning, Uwe, 1955-
Published: (1989)