Limit Search Results
Author
SpringerLink (Online service)
(15)
Cupillari, Antonella.
(2)
Negri, Sara.
(2)
von Plato, Jan.
(2)
Aher, Martin. editor.
(1)
Language
Publication Date
-
Subject
Proof theory.
(19)
Logic, Symbolic and mathematical.
(10)
Mathematics.
(4)
Computer science.
(3)
Algebra.
(2)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Spaces of PL manifolds and categories of simple maps
Spaces of PL manifolds and categories of simple maps
Author 
Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hqsv
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Nonlinear optimal control theory
Nonlinear optimal control theory
Author 
Berkovitz, Leonard David, 1924- Medhin, Negash G.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for The nuts and bolts of proofs an introduction to mathematical proofs
The nuts and bolts of proofs an introduction to mathematical proofs
Author 
Cupillari, Antonella. ScienceDirect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Gd̲el's way exploits into an undecidable world
Gd̲el's way exploits into an undecidable world
Author 
Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Frege's notations what they are and how they mean
Frege's notations what they are and how they mean
Author 
Landini, Gregory. Palgrave Connect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for The history of mathematical proof in ancient traditions
The history of mathematical proof in ancient traditions
Author 
Chemla, Karine.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Proof Analysis A Contribution to Hilbert's Last Problem
Proof Analysis A Contribution to Hilbert's Last Problem
Author 
Negri, Sara. von Plato, Jan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Discrete mathematics demystified a self-teaching guide
Discrete mathematics demystified a self-teaching guide
Author 
Krantz, Steven G. (Steven George), 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Math proofs demystified a self-teaching guide
Math proofs demystified a self-teaching guide
Author 
Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Logical Foundations of Proof Complexity
Logical Foundations of Proof Complexity
Author 
Cook, Stephen. Nguyen, Phuong.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for A Framework for Priority Arguments
A Framework for Priority Arguments
Author 
Lerman, Manuel.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Teaching and learning proof across the grades a K-16 perspective
Teaching and learning proof across the grades a K-16 perspective
Author 
Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action