Skip to content
You are not logged in |Login  
     
Limit search to available items
48 results found. Sorted by relevance | date | title .
Keywords (1-48 of 48)
entries 1-1
1
book
BookPrinted Material
 

Algebraic logic.


Halmos, Paul R. (Paul Richard), 1916-2006.
New York : Chelsea Pub. Co., [1962]

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA266 .H3    Available  ---
entries 2-7
2
Bestseller
BestsellerE-book
 

A general algebraic semantics for sentential logics


Font, Josep Maria, 1954- author.
Cambridge : Cambridge University Press, 2017.
Second edition.

Rating:

Item Status

3
Bestseller
BestsellerE-book
 

Algebraic theories : a categorical introduction to general algebra


Adámek, Jiří, 1947-
Cambridge ; New York : Cambridge University Press, 2011.

Rating:

Item Status

4
book
BookPrinted Material
 

Classical algebra : its nature, origins, and uses


Cooke, Roger, 1942-
Hoboken, N.J. : Wiley-Interscience, [2008]

Rating:

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA155 .C665 2008    Available  ---
5
Bestseller
BestsellerE-book
 

Item Status

6
Bestseller
BestsellerE-book
 

Cafe : an industrial-strength algebraic formal method



Amsterdam ; New York : Elsevier, 2000.
1st ed.

Rating:

Item Status

7
Bestseller
BestsellerE-book
 

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathemati


Grattan-Guinness, I.
Princeton, N.J. : Princeton University Press, [2000]

Rating:

Item Status

entries 8-9
8
Bestseller
BestsellerE-book
 

Logic and algebraic structures in quantum computing



Cambridge : Cambridge University Press, 2016.

Rating:

Item Status

9
Bestseller
BestsellerE-book
 

Handbook of logic in computer science.



Oxford : Clarendon Press ; New York : Oxford University Press, 2000.

Rating:

Item Status

entries 10-48
10
book
BookPrinted Material
 

Proof complexity


Krajíček, Jan, author.
Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.54 .K72 2019    Available  ---
11
Bestseller
BestsellerE-book
 

Self-learning and adaptive algorithms for business applications : a guide to adaptive neuro-fuzzy sy


Hu, Zhengbing, author.
Bingley, UK : Emerald Publishing, 2019.
First edition.

Rating:

Item Status

12
Bestseller
BestsellerE-book
 

Dancing with qubits : how quantum computing works and how it can change the world


Sutor, Robert S., author.
Birmingham, UK : Packt Publishing, Ltd., 2019.

Rating:

Item Status

13
Bestseller
BestsellerE-book
 

Lectures in Model Theory.



[Place of publication not identified] : European Mathematical Society Publishing House : European Mathematical Society Publishing House, Zuerich, Switzerland, 2018.

Rating:

Item Status

14
Bestseller
BestsellerE-book
 

Algebraic art : mathematical formalism and Victorian culture


Henderson, Andrea K., author.
Oxford : Oxford University Press, 2018.
First edition.

Rating:

Item Status

15
Bestseller
BestsellerE-book
 

Geometric and cohomological group theory



Cambridge ; New York : Cambridge University Press, 2018.

Rating:

Item Status

16
Bestseller
BestsellerE-book
 

Model theory and the philosophy of mathematical practice : formalization without foundationalism


Baldwin, John T., author.
New York, NY : Cambridge University Press, 2018.

Rating:

Item Status

17
Bestseller
BestsellerE-book
 

Model theory of fields


Marker, D. (David), 1958- author.
Cambridge : Cambridge University Press, 2017.

Rating:

Item Status

18
Bestseller
BestsellerE-book
 

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbo


Logic Colloquium (1995 : Haifa, Israel)
Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

Rating:

Item Status

19
Bestseller
BestsellerE-book
 

Advances in quantum systems research



New York : Nova Science Publishers, [2014]

Rating:

Item Status

20
Bestseller
BestsellerE-book
 

Elements of algebraic coding systems


Rocha, Valdemar C. da, 1947- author.
New York [New York] (222 East 46th Street, New York, NY 10017) : Momentum Press, 2014.

Rating:

Item Status

21
Bestseller
BestsellerE-book
 

Statistics for advanced practice nurses and health professionals


Stommel, Manfred, author.
New York, NY : Springer Publishing Company, [2014]

Rating:

Item Status

22
Bestseller
BestsellerE-book
 

Item Status

23
Bestseller
BestsellerE-book
 

Computer arithmetic and validity


Kulisch, Ulrich.
Berlin : De Gruyter, 2013.
[Second fully rev. and extended edition].

Rating:

Item Status

24
Bestseller
BestsellerE-book
 

Lambda Calculus with Types


Barendregt, Henk.
Cambridge : Cambridge University Press, 2013.

Rating:

Item Status

25
Bestseller
BestsellerE-book
 

Applied discrete structures


Doerr, Alan, 1938-
[Place of publication not identified] : University of Massachusetts Lowell, [2013]-

Rating:

Item Status

26
Bestseller
BestsellerE-book
 

Quantitative logic and soft computing : proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 201


International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China)
Singapore : World Scientific, 2012.

Rating:

Item Status

27
Bestseller
BestsellerE-book
 

An introduction to bisimulation and coinduction


Sangiorgi, Davide.
Cambridge, UK ; New York : Cambridge University Press, 2012.

Rating:

Item Status

28
Bestseller
BestsellerE-book
 

Advanced Topics in Bisimulation and Coinduction.


Sangiorgi, Davide.
Cambridge : Cambridge University Press, 2011.

Rating:

Item Status

29
book
BookPrinted Material
 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA10.3 .B658 2010    Available  ---
30
Bestseller
BestsellerE-book
 

Mathematics and mathematical logic : new research



New York : Nova Science Publishers, c2010.

Rating:

Item Status

31
Bestseller
BestsellerE-book
 

Introduction to Ramsey spaces


Todorcevic, Stevo.
Princeton : Princeton University Press, 2010.

Rating:

Item Status

32
Bestseller
BestsellerE-book
 

Nonlinear integrals and their applications in data mining


Wang, Zhenyuan.
Singapore ; Hackensack, NJ : World Scientific, [2010]

Rating:

Item Status

33
Bestseller
BestsellerE-book
 

Boolean models and methods in mathematics, computer science, and engineering



Cambridge ; New York : Cambridge University Press, 2010.

Rating:

Item Status

34
Bestseller
BestsellerE-book
 

Logic Colloquium 2006


Logic Colloquium (2006 : Nijmegen, Netherlands)
Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009.

Rating:

Item Status

35
Bestseller
BestsellerE-book
 

Purity, spectra and localisation


Prest, Mike.
Cambridge ; New York : Cambridge University Press, 2009.

Rating:

Item Status

36
Bestseller
BestsellerE-book
 

Aspects of infinite groups : a festschrift in honor of Anthony Gaglione



Singapore ; Hackensack, NJ : World Scientific, 2008.

Rating:

Item Status

37
Bestseller
BestsellerE-book
 

Andrzej Mostowski and foundational studies



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

Rating:

Item Status

38
Bestseller
BestsellerE-book
 

The Princeton companion to mathematics



Princeton : Princeton University Press, [2008]

Rating:

Item Status

39
Bestseller
BestsellerE-book
 

The Birth of Model Theory : Lowenheim's Theorem in the Frame of the Theory of Relatives.


Badesa, Calixto.
Princeton : Princeton University Press, 2008.

Rating:

Item Status

40
Bestseller
BestsellerE-book
 

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-


Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
Singapore ; Hackensack, NJ : World Scientific, [2006]

Rating:

Item Status

41
book
BookPrinted Material
 

The mathematical century : the 30 greatest problems of the last 100 years


Odifreddi, Piergiorgio, 1950-
Princeton : Princeton University Press, [2004]

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA26 .O3513 2004    Available  ---
42
Bestseller
BestsellerE-book
 

Numbers, groups, and codes


Humphreys, J. F.
Cambridge, UK ; New York, NY : Cambridge University Press, [2004]
2nd ed.

Rating:

Item Status

43
Bestseller
BestsellerE-book
 

Systematic organisation of information in fuzzy systems



Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, 2003.

Rating:

Item Status

44
Bestseller
BestsellerE-book
 

Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, C


Asian Logic Conference (7th : 1999 : Hsi-Tou, Taiwan)
New Jersey ; London : World Scientific, [2003]

Rating:

Item Status

45
Bestseller
BestsellerE-book
 

Quanta, logic and spacetime


Selesnick, S. A. (Stephen Allan)
River Edge, NJ : World Scientific, 2003.
2nd ed.

Rating:

Item Status

46
Bestseller
BestsellerE-book
 

A course in algebra


Fan, Yun.
Singapore ; River Edge, N.J. : World Scientific, [2000]

Rating:

Item Status

47
Bestseller
BestsellerE-book
 

Item Status

48
Bestseller
BestsellerE-book
 

Handbook of analysis and its foundations


Schechter, Eric, 1950-
San Diego, CA. : Academic Press, [1997]

Rating:

Item Status

Resources
More Information