Skip to content
You are not logged in |Login  
     
Limit search to available items
436 results found. Sorted by relevance | date | title .
Result page:    
Keywords (1-50 of 436)
entries 1-1
1
Bestseller
BestsellerE-book
 

Ways of proof theory


Schindler, Ralf-Dieter.
Frankfurt ; New Brunswick : Ontos Verlag, 2010.

Rating:

Item Status

entries 2-2
2
Bestseller
BestsellerE-book
 

Item Status

entries 3-49
3
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  ---
4
Bestseller
BestsellerE-book
 

Item Status

5
Bestseller
BestsellerE-book
 
6
Bestseller
BestsellerE-book
 
7
Bestseller
BestsellerE-book
 

Proving in the elementary mathematics classroom


Stylianides, Andreas J., author.
Oxford : Oxford University Press, 2016.
First edition.

Rating:

Item Status

8
Bestseller
BestsellerE-book
 

The burdens of proof : discriminatory power, weight of evidence, and tenacity of belief


Nance, Dale A., author.
Cambridge : Cambridge University Press, 2016.

Rating:

Item Status

9
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-

Rating:

Item Status

10
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

11
Bestseller
BestsellerE-book
 

Item Status

12
Bestseller
BestsellerE-book
 

Mathematical reasoning : writing and proof


Sundstrom, Theodore A.
[Place of publication not identified] : [Ted Sundstrom], [2015]-

Rating:

Item Status

13
Bestseller
BestsellerE-book
 
14
book
BookPrinted Material
 

Compactness and contradiction


Tao, Terence, 1975-
Providence, Rhode Island : American Mathematical Society, [2013]

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA300.5 .T36 2013    Available  ---
15
Bestseller
BestsellerE-book
 

Hilbert's programs and beyond


Sieg, Wilfried, 1945-
New York : Oxford University Press, [2013]

Rating:

Item Status

16
Bestseller
BestsellerE-book
 

Proof and Other Dilemmas : Mathematics and Philosophy



Cambridge : Cambridge University Press, 2011.

Rating:

Item Status

17
Bestseller
BestsellerE-book
 

Icons of mathematics : an exploration of twenty key images


Alsina, Claudi, author.
[Washington, D.C.] : The Mathematical Association of America, [2011]

Rating:

Item Status

18
Bestseller
BestsellerE-book
 

Meaning, logic and ludics


Lecomte, Alain, 1947-
London : Imperial College Press, [2011]

Rating:

Item Status

19
Bestseller
BestsellerE-book
 

Proof Analysis : a Contribution to Hilbert's Last Problem.



[Place of publication not identified] : Cambridge University Press, 2011.

Rating:

Item Status

20
Bestseller
BestsellerE-book
 

Proofs and Computations.


Schwichtenberg, Helmut.
Cambridge : Cambridge University Press, 2011.

Rating:

Item Status

21
book
BookPrinted Material
 

Item Status

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

Charming proofs : a journey into elegant mathematics


Alsina, Claudi.
Washington, DC : Mathematical Association of America, [2010]

Rating:

Item Status

23
Bestseller
BestsellerE-book
 
24
Bestseller
BestsellerE-book
 

Conditional and preferential logics : proof methods and theorem proving


Pozzato, Gian Luca.
Amsterdam ; Washington, DC : IOS Press, [2010]

Rating:

Item Status

25
Bestseller
BestsellerE-book
 

2-D quadratic maps and 3-D ODE systems : a rigorous approach


Zeraoulia, Elhadj.
Singapore ; Hackensack, N.J. : World Scientific, [2010]

Rating:

Item Status

26
Bestseller
BestsellerE-book
 

Logical foundations of proof complexity


Cook, Stephen, 1948-
Cambridge ; New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2010]

Rating:

Item Status

27
Bestseller
BestsellerE-book
 

A framework for priority arguments


Lerman, M. (Manuel), 1943-
[Ithaca, NY?] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, [2010]

Rating:

Item Status

28
Bestseller
BestsellerE-book
 

Kurt Gödel : essays for his centennial



[Ithaca, NY] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, [2010]

Rating:

Item Status

29
Bestseller
BestsellerE-book
 

Logic Colloquium 2007


Logic Colloquium (2007 : Wrocław, Poland)
Cambridge ; New York : Cambridge University Press ; [La Jolla, Calif.] : Association for Symbolic Logic, 2010.

Rating:

Item Status

30
Bestseller
BestsellerE-book
 

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



Cambridge ; New York : Cambridge University Press, 2010.

Rating:

Item Status

31
Bestseller
BestsellerE-book
 

Book of proof


Hammack, Richard H.
Richmond, Virginia : Department of Mathematics & Applied Mathematics, Virginia Commonwealth University

Rating:

Item Status

32
Bestseller
BestsellerE-book
 

Andrzej Mostowski and foundational studies



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

Rating:

Item Status

33
Bestseller
BestsellerE-book
 

Item Status

34
Bestseller
BestsellerE-book
 

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Sym


Logic Colloquium.
Cambridge, UK ; New York : Cambridge University Press, 2007.

Rating:

Item Status

35
Bestseller
BestsellerE-book
 

Proof technology and computation


NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
Amsterdam ; Washington, DC : IOS Press, [2006]

Rating:

Item Status

36
Bestseller
BestsellerE-book
 

Lectures on the Curry-Howard isomorphism


Sørensen, Morten Heine.
Amsterdam ; Boston [MA] : Elsevier, 2006.
1st ed.

Rating:

Item Status

37
book
BookPrinted Material
 

Incompleteness : the proof and paradox of Kurt Gödel


Goldstein, Rebecca, 1950-
New York : W.W. Norton, [2005]
1st ed.

Rating:

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA29.G58 G65 2005    Available  ---
38
Bestseller
BestsellerE-book
 

The nuts and bolts of proofs


Cupillari, Antonella.
Amsterdam ; Boston : Elsevier Academic Press, [2005]
3rd ed.

Rating:

Item Status

39
Bestseller
BestsellerE-book
 

Formal logic : a philosophical approach


Hoyningen-Huene, Paul, 1946-
Pittsburgh : University of Pittsburgh Press, [2004]

Rating:

Item Status

40
Bestseller
BestsellerE-book
 

Linear Logic in Computer Science



Cambridge : Cambridge University Press, 2004.

Rating:

Item Status

41
Bestseller
BestsellerE-book
 

Memoirs of a proof theorist : Gödel and other logicians


Takeuti, Gaisi, 1926-2017.
River Edge, NJ : World Scientific, 2003.

Rating:

Item Status

42
Bestseller
BestsellerE-book
 

Mathematical thinking and writing : a transition to abstract mathematics


Maddox, Randall B.
San Diego, Calif. : Academic Press, [2002]

Rating:

Item Status

43
book
BookPrinted Material
 

Conjecture and proof


Laczkovich, Miklós.
Washington, DC : Mathematical Association of America, [2001]

Rating:

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.54 .L33 2001    Available  ---
44
Bestseller
BestsellerE-book
 

The logic of knowledge bases


Levesque, Hector J., 1951-
Cambridge, Mass. : MIT Press, [2000]

Rating:

Item Status

45
Bestseller
BestsellerE-book
 

The moment of proof : mathematical epiphanies


Benson, Donald C.
Oxford : Oxford University Press, 2000.

Rating:

Item Status

46
Bestseller
BestsellerE-book
 

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for


Logic Colloquium (1997 : Leeds, England)
Cambridge ; New York : Cambridge University Press, 1999.

Rating:

Item Status

47
book
BookPrinted Material
 

An introduction to mathematical reasoning : numbers, sets, and functions


Eccles, Peter J., 1945-
Cambridge ; New York : Cambridge University Press, 1997.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.54    Available  ---
48
book
BookPrinted Material
 

The logic of provability


Boolos, George.
Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC199.M6 B65 1995  1995    Available  ---
49
Bestseller
BestsellerE-book
 

Proof, logic, and formalization



London ; New York : Routledge, 1992.

Rating:

Item Status

entries 50-52
50
Bestseller
BestsellerE-book
 

The economic merry-go-round : a new theory of trade cycles with the document of history as proof


Walker, Edmund A. H., author.
London ; New York : Routledge, Taylor & Francis Group, 2015.

Rating:

Item Status

Resources
More Information
Result page: