A Boole anthology : recent and classical studies in the logic of George Boole /

George Boole ; a miscellany /
by: Barry, Patrick D.
Published: (1969)

The continued exercise of reason : public addresses /
by: Boole, George, 1815-1864
Published: (2018)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory /
by: Hailperin, Theodore
Published: (1986)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

The other mathematics : language and logic in Egyptian and in general /
by: Depuydt, Leo
Published: (2008)

The logician and the engineer : how George Boole and Claude Shannon created the information age /
by: Nahin, Paul J.
Published: (2012)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2008)

Applied logic series.
Published: (1996)

Theory of logical calculi : basic theory of consequence operations /
by: Wójcicki, Ryszard
Published: (1988)

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman : lecture notes in logic 15 /
Published: (2002)

Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Perspectives on the history of mathematical logic /
Published: (2008)

Shannon Bool. Bomb. Shell /
by: El-Sheikh, Tammer, et al.
Published: (2019)

Probabilistic Logic in a Coherent Setting /
by: Coletii, Giulianella
Published: (2002)

Mathematics and plausible reasoning,
by: Pólya, George, 1887-1985
Published: (1968)

Introduction to mathematical logic /
by: Hermes, Hans
Published: (1973)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (1987)

Proof theory of modal logic /
Published: (1996)

A course in mathematical logic for mathematicians /
by: Manin, I︠U︡. I.
Published: (2010)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)

[Omega]-bibliography of mathematical logic.
Published: (1987)

Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)

Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)

A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

Language, Truth and Logic in Mathematics /
by: Hintikka, Jaakko
Published: (1998)

Logic, Language, and Probability : a Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 /
by: Bogdan, Radu J.
Published: (1973)

Internal Logic : Foundations of Mathematics from Kronecker to Hilbert /
by: Gauthier, Yvon
Published: (2002)

Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel. /
Published: (1969)

Non-standard logics for automated reasoning /
Published: (1988)

Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)

Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)

Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)