Limit search to available items
Result Page   
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 489)
Logic, Symbolic and mathematical.
1
Book
1996

100% mathematical proof


Garnier, Rowan.
Chichester ; New York : Wiley, [1996]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Gar/Omp  AVAILABLE
2
E-book
1996

An Accompaniment to Higher Mathematics


Exner, George R., author
New York, NY : Springer New York, 1996

Rating:

 
 
3
Book
1983

The acquisition of symbolic skills


NATO Conference on the Acquisition of Symbolic Skills (1982 : University of Keele)
New York : Plenum Press, [1983]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  155.413 Nat  AVAILABLE
4
E-book
2005

Adapting proofs-as-programs : the Curry-Howard protocol


Poernomo, Iman Hafiz, 1976-
New York : Springer, [2005]

Rating:

 
 
5
E-book
2020

Advanced mathematics : a transitional reference


Farlow, Stanley J., 1937- author.
Hoboken, NJ : Wiley, 2020

Rating:

 
 
7
E-book
2007

Advances in Logic


Gao, Su.


Rating:

 
 
8
E-book
2010

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


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

Rating:

 
 
9
E-book
2011

After Gödel : Platonism and rationalism in mathematics and logic


Tieszen, Richard L.
Oxford : Oxford University Press, 2011

Rating:

 
 
11
E-book
2016

AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 -- December 1, 2016, Proceedings


Associazione italiana per l'intelligenza artificiale. Congress (15th : 2016 : Genoa, Italy)
Cham : Springer International Publishing : Imprint : Springer, 2016

Rating:

 
 
12
E-book
2013

Alan Turing: His Work and Impact



[Place of publication not identified] : Elsevier Science, 2013

Rating:

 
 
13
E-book
2014

Alfred Tarski : early work in Poland : geometry and teaching



New York : Birkhäuser, [2014]

Rating:

 
 
14
E-book
2016

Algebra and computer science



Providence, Rhode Island : American Mathematical Society, [2016]

Rating:

 
 
15
E-book
2014

Algebraic circuits


Lloris Ruiz, Antonio, author
Heidelberg ; New York : Springer, 2014

Rating:

 
 
16
Book
1978

Algorithmic aspects of combinatorics



Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.6 Alg  2  AVAILABLE
17
E-book
2002

Analysis and logic



Cambridge, UK ; New York : Cambridge University Press, 2002

Rating:

 
 
18
 
19
Book
1974

The anatomy of mathematics


Kershner, R. B. (Richard Brandon), 1913-1982.
New York : Ronald Press Co., [1974]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  510 Ker  AVAILABLE
20
E-book
2008

Andrzej Mostowski and foundational studies



Amsterdam ; Washington, D.C. : Ios Press, [2008]

Rating:

 
 
21
Book
1985

Anno's hat tricks


Anno, Mitsumasa, 1926-
London ; Sydney : The Bodley Head, 1985

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'BOOL CRC  793.74 Ann/Ant  AVAILABLE
22
E-book
2012

Appalachian set theory : 2006-2012



Cambridge : Cambridge University Press, 2012

Rating:

 
 
24
E-book
2007

The Arché papers on the mathematics of abstraction



Dordrecht : Springer, [2007]

Rating:

 
 
25
E-book
2021

Architecture of mathematics


Serovajsky, Simon, author.
Boca Raton, FL : CRC Press, 2021

Rating:

 
 
26
E-book
1986

The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth


McDonough, Richard M., 1950-
Albany : State University of New York Press, [1986]

Rating:

 
 
27
E-book
2012

Around and beyond the square of opposition



Basel : Birkhäuser, [2012]

Rating:

 
 
28
E-book
2008

The arrow and the point : Russell and Wittgenstein's Tractatus


Bonino, Guido.
Frankfurt : Ontos, [2008]

Rating:

 
 
29
E-book
2019

Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings


International Conference on Automated Deduction (27th : 2019 : Natal, Brazil)
Cham : Springer, [2019]

Rating:

 
 
30
Book
1988

Automated theorem-proving in non-classical logics


Thistlewaite, Paul B.
London : Pitman ; New York : Wiley, 1988

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Thi/Atp  AVAILABLE
31
E-book
2015

Autonomy platonism and the indispensability argument


Marcus, Russell, 1966- author
Lanham : Lexington Books, [2015]

Rating:

 
 
32
E-book
2014

A beginner's guide to mathematical logic


Smullyan, Raymond M., author
Mineola, New York : Dover Publications, [2014]

Rating:

 
 
33
E-book
2017

Beyond first order model theory


Iovino, José.
Boca Raton : CRC Press, 2017

Rating:

 
 
34
E-book
2011

Beyond Sets : A Venture in Collection-Theoretic Revisionism


Rescher, Nicholas, author
Berlin/Boston : De Gruyter, [2011]

Rating:

 
 
35
E-book
2017

A bridge to higher mathematics


Deaconu, Valentin, author.
Boca Raton, Florida : CRC Press, [2017]

Rating:

 
 
36
E-book
2020

Case-based reasoning research and development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020, Proceedings


International Conference on Case-Based Reasoning (28th : 2020 : Online)
Cham : Springer, 2020

Rating:

 
 
39
E-book
2016

Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20--22, 2016, Revised Selected Papers



Cham : Springer International Publishing : Imprint : Springer, 2016

Rating:

 
 
40
E-book
2006

Church's Thesis after 70 years



Frankfurt ; New Brunswick, NJ : Ontos, [2006]

Rating:

 
 
41
E-book
1982

Coding the universe


Beller, A.
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, [1982]

Rating:

 
 
42
E-book
2010

Cognitive reasoning : a formal approach


Anshakov, O. M.
Heidelberg ; New York : Springer, [2010]

Rating:

 
 
43
Book
2008

The collected papers of Bertrand Russell


Russell, Bertrand, 1872-1970.


Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  192 Rus  1  AVAILABLE
 W'PONDS  192 Rus  6  AVAILABLE
 W'PONDS  192 Rus  7  AVAILABLE
View additional copies of this item
44
Book
1931-

Collected papers of Charles Sanders Peirce


Peirce, Charles S. (Charles Sanders), 1839-1914.
Cambridge, Mass : Harvard University Press, 1931-58

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  191 Peirce Cpo/Csp  7  AVAILABLE
45
E-book
1986

Collected works.


Gödel, Kurt.
Oxford [Oxfordshire] : Clarendon Press ; New York : Oxford University Press, 1986

Rating:

 
 
46
E-book
2014

Collected works.


Gödel, Kurt, author
Oxford : Clarendon Press, 2014

Rating:

 
 
47
E-book
2016

Combinatorial algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers


International Workshop on Combinatorial Algorithms (26th : 2015 : Verona, Italy)
Cham : Springer, 2016

Rating:

 
 
48
Book
1963

Communication : a logical model


Harrah, David
Cambridge, Mass. : M. I. T. Press, 1963

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  001.5 HAR  AVAILABLE
49
E-book
1998

Complexity and Real Computation


Blum, Lenore., author
New York, NY : Springer New York : Imprint : Springer, 1998

Rating:

 
 
50
Book
1989

Computability and logic


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

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Boo 1989  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results
Result Page