Limit Search Results
Author
SpringerLink (Online service)
(15)
Taylor and Francis.
(3)
Cupillari, Antonella.
(2)
Negri, Sara.
(2)
von Plato, Jan.
(2)
Language
Publication Date
-
Subject
Proof theory.
(22)
Logic, Symbolic and mathematical.
(12)
Mathematics.
(4)
Computer science.
(3)
Electronic books.
(3)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for Argumentation : Proceedings of the Conference on Argumentation 1986. Perspectives and Approaches
Argumentation : Proceedings of the Conference on Argumentation 1986. Perspectives and Approaches
Author 
Alexandrova, Donka, contributor. Allen, Mike, contributor. Apothéloz, Denis, contributor. Astroh, Michael, contributor. Bax, Marcel M.H., contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110869163
https://www.degruyter.com/isbn/9783110869163
Cover https://www.degruyter.com/document/cover/isbn/9783110869163/original
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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:
42. 
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:
43. 
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:
44. 
Cover image for Food lipids : chemistry, nutrition, and biotechnology
Food lipids : chemistry, nutrition, and biotechnology
Author 
Akoh, Casimir C., 1955- Min, David B.
Preferred Shelf Number 
QP751 .F647 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Lectures on the Curry-Howard isomorphism
Lectures on the Curry-Howard isomorphism
Author 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Theorems, corollaries, lemmas, and methods of proof
Theorems, corollaries, lemmas, and methods of proof
Author 
Rossi, Richard J., 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Tracking reason proof, consequence, and truth
Tracking reason proof, consequence, and truth
Author 
Azzouni, Jody.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for The nuts and bolts of proofs
The nuts and bolts of proofs
Author 
Cupillari, Antonella.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120885091
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets