Reset Filters
Filter Related Topics: Proof theory
Filter Related Topics within your search.
Proof theory Logic, Symbolic and mathematical 27 Mathematics 15 MATHEMATICS 11 Logic 10 Infinity 8 Automatic theorem proving 5 more ...
2
Proof and the art of mathematics /

Cover is for reference only
Main Authors: Hamkins, Joel David
Published: The MIT Press,
Publication Dates: [2020]
Call Number: O141.2/H222
Book
Save to List
Saved in:
3
How to prove it : a structured approach /

Cover is for reference only
Main Authors: Velleman, Daniel J
Published: Cambridge University Press,
Publication Dates: 2019.
Call Number: O14/V439/3rd ed.
Book
Save to List
Saved in:
4
Proof complexity /

Cover is for reference only
Main Authors: Krajíček, Jan
Published: Cambridge University Press,
Publication Dates: 2019.
Call Number: O141.2/K893
Book
Save to List
Saved in:
5
A TeXas style introduction to proof /

Cover is for reference only
Main Authors: Taylor, Ron
Corporate Authors: Mathematical Association of America
Group Author: Rault, Patrick X
Published: Mathematical Association of America,
Publication Dates: [2017]
Call Number: O141.2-44/T245
Book
Save to List
Saved in:
6
A bridge to higher mathematics /

Cover is for reference only
Main Authors: Deaconu, Valentin
Group Author: Pfaff, Donald C. Donald Chesley
Published: CRC Press, Taylor & Francis Group,
Publication Dates: [2017]
Call Number: O141.2-43/D278
Book
Save to List
Saved in:
7
Writing proofs in analysis /

Cover is for reference only
Main Authors: Kane, Jonathan Michael
Published: Springer,
Publication Dates: [2016]
Call Number: O141.2/K162
Book
Save to List
Saved in:
8
Concepts of proof in mathematics, philosophy, and computer science /

Cover is for reference only
Group Author: Schuster, Peter, 1966; Probst, Dieter, 1973
Published: Walter de Gruyter GmbH,
Publication Dates: [2016]
Call Number: O141.2/C744
Book
Save to List
Saved in:
9
Proving in the elementary mathematics classroom /

Cover is for reference only
Main Authors: Stylianides, Andreas J.
Corporate Authors: Oxford University Press.
Published: Oxford University Press,
Publication Dates: 2016.
eBook
Save to List
Saved in:
10
The burdens of proof : discriminatory power, weight of evidence, and tenacity of belief /

Cover is for reference only
Main Authors: Nance, Dale A
Published: Cambridge University Press,
Publication Dates: 2016.
Call Number: D915.13/N176
Book
Save to List
Saved in:
11
Basic discrete mathematics : logic, set theory, & probability /

Cover is for reference only
Main Authors: Kohar, Richard
Published: World Scientific,
Publication Dates: [2016]
Call Number: O141/K791
Book
Save to List
Saved in:
12
Problems and proofs in numbers and algebra /

Cover is for reference only
Main Authors: Millman, Richard S., 1945
Group Author: Shiue, Peter Jau-Shyong, 1941; Kahn, Eric Brendan
Published: Springer,
Publication Dates: [2015]
Call Number: O15/M655
Book
Save to List
Saved in:
13
Why prove it again? : alternative proofs in mathematical practice /

Cover is for reference only
Main Authors: Dawson, John W. John William, 1944
Group Author: Babcock, Bruce S; Weintraub, Steven H
Published: Birkhäuser,
Publication Dates: [2015]
Call Number: O141.2/D272
Book
Save to List
Saved in:
14
Building proofs : a practical guide /

Cover is for reference only
Main Authors: Oliveira, Suely
Group Author: Stewart, David, 1961
Published: World Scientific,
Publication Dates: [2015]
Call Number: O141.2/O483
Book
Save to List
Saved in:
15
Proof theory : sequent calculi and related formalisms /

Cover is for reference only
Main Authors: Bimbó, Katalin, 1963
Published: CRC Press, Taylor & Francis Group,
Publication Dates: [2015]
Call Number: O141.2/B611
Book
Save to List
Saved in:
16
Three views of logic : mathematics, philosophy, and computer science /

Cover is for reference only
Main Authors: Loveland, Donald W
Group Author: Hodel, Richard E; Sterrett, Susan G
Published: Princeton University Press,
Publication Dates: [2014]
Call Number: O141.2/L898
Book
Save to List
Saved in:
18
How to read and do proofs : an introduction to mathematical thought processes /

Cover is for reference only
Main Authors: Solow, Daniel.
Corporate Authors: Wiley (Online service)
Published: John Wiley,
Publication Dates: 2014.
eBook
Save to List
Saved in:
20
Three views of logic : mathematics, philosophy, and computer science /

Cover is for reference only
Main Authors: Loveland, Donald W.
Corporate Authors: De Gruyter.
Group Author: Hodel, Richard E.; Sterrett, S. G.
Published: Princeton University Press,
Publication Dates: [2014]
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —