Skip to content
You are not logged in |Login  
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-49 of 49)
Logic Symbolic And Mathematical
1
Bestseller
BestsellerE-Book
Book Cover

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1


Mancosu, Paolo.
Oxford ; New York : Oxford University Press, 2010. 2010

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
2
book
BookBook
Book Cover

The art of logic in an illogical world


Cheng, Eugenia, author.
New York : Basic Books, [2018] 2018

Rating:

 

Copies

Location Call No. Status
 Cheshire Public Library - Adult Department Lower Level  511.3 CHENG    Check Shelf
 Glastonbury, Welles-Turner Memorial Library - Adult Department  160 CHENG    DUE 10-13-20 Billed
 Manchester, Main Library - New Materials  160 CHENG    DUE 05-10-24
There are additional copies/volumes of this item
3
Bestseller
BestsellerE-Book
Book Cover

A Beginner's Guide to Mathematical Logic


Smullyan, Raymond M., author.
[Place of publication not identified] : Dover Publications, 2014. 2014

Rating:

 

Copies

Location Call No. Status
 Farmington - Downloadable Materials  Freading Ebook    Downloadable
Farmington cardholders click here to access this title from Freading
 Newington - Downloadable Materials  Freading E-Book    Downloadable
Newington cardholders click here to access this title from Freading
 Wethersfield - Downloadable Materials  FreadingEbook    Downloadable
Wethersfield cardholders click here to access this title from Freading
There are additional copies/volumes of this item
4
book
BookBook
Book Cover

Bertrand Russell


Monk, Ray.
New York : Routledge, 1999. 1999

Rating:

 

Copies

Location Call No. Status
 Granby, Main Library - Adult  510 MONK    Check Shelf
5
Bestseller
BestsellerE-Book
Book Cover

Beyond infinity : an expedition to the outer-limits of mathematical universe


Cheng, Eugenia, author.
London : Profile Books, 2017. 2017

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
6
book
BookBook
Book Cover

Bridge to abstract mathematics : mathematical proof and structures


Morash, Ronald P.
New York, NY : Random House, 1987. 1987

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.3 M829B    Check Shelf
7
Bestseller
BestsellerE-Book
Book Cover

Computability and logic.


Boolos, George.
Cambridge ; New York : Cambridge University Press, 2002. 2002

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
8
Bestseller
BestsellerE-Book
Book Cover

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July


CAV (Conference) (31st : 2019 : New York, N.Y.)
Cham, Switzerland : SpringerOpen, [2019] 2019

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK Springer    Downloadable
Please click here to access this Springer resource
9
book
BookBook
Book Cover

The computer modelling of mathematical reasoning


Bundy, Alan.
London ; New York : Academic Press, 1983. 1983

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.3 B942C    Check Shelf
10
Bestseller
BestsellerE-Book
Book Cover

Elements of causal inference : foundations and learning algorithms


Peters, Jonas, 1984- author.
Cambridge, Massachusetts : The MIT Press, [2017] 2017

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK MIT    Downloadable
Please click here to access this MIT resource
11
book
BookBook
 

Elements of set theory


Zehna, Peter W.
Boston : Allyn and Bacon [1972] 1972

Rating:

 

Copies

Location Call No. Status
 New Britain, Main Library - Non Fiction  511.3 Z32    Check Shelf
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.322 Z44E    Check Shelf
12
book
BookBook
Book Cover

The equations : icons of knowledge


Bais, Sander.
Cambridge, Mass. : Harvard University Press, [2005] 2005

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  512.94 B163E    Check Shelf
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  512.94 B163E c.2  Check Shelf
13
Bestseller
BestsellerE-Book
Book Cover

The equations : icons of knowledge


Bais, Sander.
Cambridge, Mass. : Harvard University Press, [2005] 2005

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
14
book
BookBook
Book Cover

Euclid in the rainforest : discovering universal truth in logic and math


Mazur, Joseph.
New York : Pi, [2005] 2005

Rating:

 

Copies

Location Call No. Status
 Newington, Lucy Robbins Welles Library - Adult Department  511.3 MAZUR    Check Shelf
 South Windsor Public Library - Non Fiction  511.3 MAZUR    Check Shelf
15
book
BookBook
Book Cover

Finite automata, formal logic, and circuit complexity


Straubing, Howard, 1952-
Boston : Birkhäuser, 1994. 1994

Rating:

 

Copies

Location Call No. Status
 East Hartford, Raymond Library - Adult Department  511.3 S    Check Shelf
16
Bestseller
BestsellerE-Book
 

The game of logic


Carroll, Lewis, 1832-1898.
London ; New York : Macmillan and Co., 1887. 1887

Rating:

 

Copies

Location Call No. Status
 Glastonbury - Downloadable Materials  BiblioBoard Ebook    Downloadable
Glastonbury cardholders click here to access this title from BiblioBoard
17
book
BookBook
Book Cover

How to prove it : a structured approach


Velleman, Daniel J.
Cambridge [England] ; New York : Cambridge University, 1994. 1994

Rating:

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.3 V439H    Check Shelf
18
book
BookBook
Book Cover

How to read and do proofs : an introduction to mathematical thought process


Solow, Daniel.
New York : J. Wiley, [1982] 1982

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.3 S689H    Check Shelf
19
Bestseller
BestsellerE-Book
Book Cover

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London


Augustus de Morgan Workshop (7th : 2005 : London, England)
Amsterdam : Amsterdam Univsity Press, [2007] 2007

Rating:

 

Copies

Location Call No. Status
 All Libraries - Shared Downloadable Materials  JSTOR Open Access Ebook    Downloadable
All patrons click here to access this title from JSTOR
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK JSTOR    Downloadable
Please click here to access this JSTOR resource
20
book
BookBook
Book Cover

An introduction to Wittgenstein's Tractatus


Anscombe, G. E. M. (Gertrude Elizabeth Margaret)
Philadelphia : University of Pennsylvania Press, 1971. 1971

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  193 W831A    Check Shelf
21
book
BookBook
Book Cover

Is God a mathematician?


Livio, Mario, 1945-
New York : Simon & Schuster, 2009. 2009

Rating:

Copies

Location Call No. Status
 Berlin-Peck Memorial Library - Non Fiction  510 LIVIO    Check Shelf
 Bloomfield, Prosser Library - Adult Department  510 LIV    Storage
 Canton Public Library - Adult Department  510 LIVIO    Check Shelf
There are additional copies/volumes of this item
22
book
BookBook
Book Cover

Journey to the edge of reason : the life of Kurt Gödel


Budiansky, Stephen, author.
New York : W.W. Norton & Company, [2021] 2021

Rating:

 

Copies

Location Call No. Status
 Enfield, Main Library - Biographies  B GODEL    Check Shelf
 Manchester, Main Library - Non Fiction  B GODEL, KURT    Check Shelf
 Middletown, Russell Library - NEW Adult Biography  B-GODEL BUD    Missing
There are additional copies/volumes of this item
23
book
BookBook
Book Cover

The joy of abstraction : an exploration of math, category theory, and life


Cheng, Eugenia, author.
Cambridge ; New York, NY : Cambridge University Press, 2023 2023

Rating:

 

Copies

Location Call No. Status
 Manchester, Main Library - New Materials  511 CHENG    Recently Returned
 New Britain, Main Library - Non Fiction  510 CHE    Check Shelf
24
book
BookBook
Book Cover

Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never p


Carroll, Lewis, 1832-1898.
New York : C.N. Potter : Distributed by Crown Publishers, [1977] 1977

Rating:

 

Copies

Location Call No. Status
 Manchester, Main Library - Basement Materials  511.3    Check Shelf
25
Bestseller
BestsellerE-Book
Book Cover

Logic and automata : history and perspectives.



Amsterdam : Amsterdam University Press, [2008] 2008

Rating:

 

Copies

Location Call No. Status
 All Libraries - Shared Downloadable Materials  JSTOR Open Access Ebook    Downloadable
All patrons click here to access this title from JSTOR
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK JSTOR    Downloadable
Please click here to access this JSTOR resource
26
book
BookBook
Book Cover

Logic and Boolean algebra


Levitz, Kathleen, author
Woodbury, N.Y. : Barron's Educational Series, [1979] 1979

Rating:

 

Copies

Location Call No. Status
 Farmington, Main Library - Adult Department  511.32 LEV    Check Shelf
27
book
BookBook
 

Logic and knowledge; essays, 1901-1950.


Russell, Bertrand, 1872-1970.
London : G. Allen & Unwin, 1956. 1956

Rating:

 

Copies

Location Call No. Status
 South Windsor Public Library - Non Fiction  192 RUSSELL    Check Shelf
28
Bestseller
BestsellerE-Book
Book Cover

The Logic of Machines and Structures


Sandori, Paul, 1937- author.
[Place of publication not identified] : Dover Publications, [2016] 2016

Rating:

 

Copies

Location Call No. Status
 Farmington - Downloadable Materials  Freading Ebook    Downloadable
Farmington cardholders click here to access this title from Freading
 Newington - Downloadable Materials  Freading E-Book    Downloadable
Newington cardholders click here to access this title from Freading
 Rocky Hill - Downloadable Materials  Freading Ebook    Downloadable
Rocky Hill cardholders click here to access this title from Freading
There are additional copies/volumes of this item
29
book
BookBook
Book Cover

Math and logic games


Agostini, Franco.
New York, N.Y. : Facts on File Publications, [1983] 1983

Rating:

 

Copies

Location Call No. Status
 West Hartford, Noah Webster Library - Non Fiction  793.7 AGOSTINI    Check Shelf
30
book
BookBook
Book Cover

Mathematical fallacies and paradoxes


Bunch, Bryan H.
New York : Van Nostrand Reinhold Co., [1982] 1982

Rating:

 

Copies

Location Call No. Status
 West Hartford, Noah Webster Library - Non Fiction  511.3 B    Check Shelf
31
Bestseller
BestsellerE-Book
Book Cover

New perspectives on games and interaction



Amsterdam, Netherlands : Amsterdam Univ. Press, [2008] 2008

Rating:

 

Copies

Location Call No. Status
 All Libraries - Shared Downloadable Materials  JSTOR Open Access Ebook    Downloadable
All patrons click here to access this title from JSTOR
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK JSTOR    Downloadable
Please click here to access this JSTOR resource
32
book
BookBook
 

On some characteristics of symbolic logic


Ladd-Franklin, Christine, 1847-1930.
[Place of publication not identified] : [publisher not identified], [1889?] 1889

Rating:

 

Copies

Location Call No. Status
 Windsor, Main Library - Local History  LOCAL HISTORY R929.5097462 LADD    In-Library Use Only
33
book
BookBook
Book Cover

Once upon a number : the hidden mathematical logic of stories


Paulos, John Allen, author
New York : Basic Books, [1998] 1998

Rating:

 

Copies

Location Call No. Status
 Farmington, Main Library - Adult Department  519.5 PAU    Check Shelf
34
Bestseller
BestsellerE-Book
Book Cover

Paradox and paraconsistency : conflict resolution in the abstract sciences


Woods, John (John Hayden)
Cambridge, U.K. ; New York : Cambridge University Press, 2003. 2003

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
35
Bestseller
BestsellerE-Book
Book Cover

Philosophy of mathematics in the twentieth century : selected essays


Parsons, Charles, 1933-
Cambridge, Massachusetts : Harvard University Press, 2014. 2014

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
36
Bestseller
BestsellerE-Book
 

Proofs and concepts : the fundamentals of abstract mathematics


Morris, Dave Witte.
[Place of publication not identified] : Dave Witte Morris and Joy Morris, 2016- 2016

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK OpenTextbook    Downloadable
Please click here to access this OpenTextbook resource
37
book
BookBook
Book Cover

Sciencia : mathematics, physics, chemistry, biology, and astronomy for all



New York, N.Y. : Walker & Co., 2011. 2011

Rating:

 

Copies

Location Call No. Status
 Bristol, Manross Branch - Non Fiction  500 W151    Check Shelf
 East Hartford, Raymond Library - Adult Department  500 SCIENCIA    Check Shelf
 Farmington, Main Library - Adult Department  500 MAR    Check Shelf
There are additional copies/volumes of this item
38
book
BookBook
 

Symbolic logic and The game of logic


Carroll, Lewis, 1832-1898.
New York : Dover Publications, 1958. 1958

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.3 D645S    Check Shelf
39
Bestseller
BestsellerE-Book
Book Cover

Symbolism and truth : an introduction to the theory of knowledge.


Eaton, Ralph M. (Ralph Monroe)
Cambridge : Harvard University Press, 1925. 1925

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK EBSCO    Downloadable
University of Saint Joseph patrons, please click here to access this EBSCOhost resource
40
book
BookBook
Book Cover

A tour through mathematical logic


Wolf, Robert S.
Washington, DC : Mathematical Association of America, [2005] 2005

Rating:

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  511.3 W855T    Check Shelf
41
book
BookBook
Book Cover

Tractatus logico-philosophicus


Wittgenstein, Ludwig, 1889-1951.
London ; New York : Routledge, 1994. 1994

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location  193 W831T    Check Shelf
42
book
BookBook
Book Cover

Tractatus logico-philosophicus


Wittgenstein, Ludwig, 1889-1951.
Champaign, IL : Book Jungle, 2007. 2007

Rating:

 

Copies

Location Call No. Status
 West Hartford, Noah Webster Library - Non Fiction  192 WITTGENSTEIN    In Transit +1 HOLD
43
Bestseller
BestsellerE-Book
Book Cover

Tractatus Logico-Philosophicus (Barnes & Noble Library of Essential Reading


Wittgenstein, Ludwig, 1889-1951, author.
[Place of publication not identified] : Barnes & Noble, [2009] 2009

Rating:

 

Copies

Location Call No. Status
 Farmington - Downloadable Materials  Freading Ebook    Downloadable
Farmington cardholders click here to access this title from Freading
 Newington - Downloadable Materials  Freading E-Book    Downloadable
Newington cardholders click here to access this title from Freading
 Rocky Hill - Downloadable Materials  Freading Ebook    Downloadable
Rocky Hill cardholders click here to access this title from Freading
There are additional copies/volumes of this item
44
book
BookBook
 

Tractatus logico-philosophicus. The German text Logisch-philosophische abhandlung


Wittgenstein, Ludwig, 1889-1951.
New York : Humanities Press [1961] 1961

Rating:

 

Copies

Location Call No. Status
 South Windsor Public Library - Non Fiction  149.94 WITTGENSTEIN    Check Shelf
45
Bestseller
BestsellerE-Book
Book Cover

Uncertain inference


Kyburg, Henry Ely, 1928-
Cambridge, UK ; New York : Cambridge University Press, 2001. 2001

Rating:

 

Copies

Location Call No. Status
 Rocky Hill - Downloadable Materials  EBSCO Ebook    Downloadable
Rocky Hill cardholders click here to access this title from EBSCO
46
Bestseller
BestsellerE-Book
Book Cover

Understanding Proof : Explanation, Examples and Solutions of Mathematical Proof


Bennison, Tom, author.
[Place of publication not identified] : Tarquin Group, [2021] 2021

Rating:

 

Copies

Location Call No. Status
 Farmington - Downloadable Materials  Freading Ebook    Downloadable
Farmington cardholders click here to access this title from Freading
 Newington - Downloadable Materials  Freading E-Book    Downloadable
Newington cardholders click here to access this title from Freading
 Rocky Hill - Downloadable Materials  Freading Ebook    Downloadable
Rocky Hill cardholders click here to access this title from Freading
There are additional copies/volumes of this item
Logic Symbolic And Mathematical Congresses
47
Bestseller
BestsellerE-Book
Book Cover

Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy,


International Conference on Automated Deduction (29th : 2023 : Rome, Italy)
Cham, Switzerland : Springer, 2023. 2023

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK Springer    Downloadable
Please click here to access this Springer resource
48
Bestseller
BestsellerE-Book
Book Cover

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London


Augustus de Morgan Workshop (7th : 2005 : London, England)
Amsterdam : Amsterdam Univsity Press, [2007] 2007

Rating:

 

Copies

Location Call No. Status
 All Libraries - Shared Downloadable Materials  JSTOR Open Access Ebook    Downloadable
All patrons click here to access this title from JSTOR
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK JSTOR    Downloadable
Please click here to access this JSTOR resource
49
Bestseller
BestsellerE-Book
Book Cover

New perspectives on games and interaction



Amsterdam, Netherlands : Amsterdam Univ. Press, [2008] 2008

Rating:

 

Copies

Location Call No. Status
 All Libraries - Shared Downloadable Materials  JSTOR Open Access Ebook    Downloadable
All patrons click here to access this title from JSTOR
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK JSTOR    Downloadable
Please click here to access this JSTOR resource
Add Marked to Bag Add All On Page
Locate in results