Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
22 Results Found Subscribe to search results
0000000000000000000000DEFAULT
Print
1. 
Cover image for Proof theory
Proof theory
Author 
Takeuti, Gaisi, 1926-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Structural Proof Theory
Structural Proof Theory
Author 
Negri, Sara. von Plato, Jan. Ranta, Aarne.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Handbook of proof theory
Handbook of proof theory
Author 
Buss, Samuel R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Proof theory : sequent calculi and related formalisms
Proof theory : sequent calculi and related formalisms
Author 
Bimbo, Katalin, 1963- author.
Preferred Shelf Number 
ONLINE(356904.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Why is there philosophy of mathematics at all?
Why is there philosophy of mathematics at all?
Author 
Hacking, Ian, author.
Preferred Shelf Number 
QA8.4 H29 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
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:
7. 
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.
Preferred Shelf Number 
QA9.54 C86 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
13. 
Cover image for Explanation and proof in mathematics : philosophical and educational perspectives
Explanation and proof in mathematics : philosophical and educational perspectives
Author 
Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.
Preferred Shelf Number 
QA9.54 E97 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Learning to reason an introduction to logic, sets and relations
Learning to reason an introduction to logic, sets and relations
Author 
Rodgers, Nancy, 1941-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Algebra of proofs
Algebra of proofs
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic in algebraic form Three languages and theories
Logic in algebraic form Three languages and theories
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Availability 
Online Library~1
Available:
Copies: