Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for UNDERSTANDING MATHEMATICAL PROOF
UNDERSTANDING MATHEMATICAL PROOF
Author 
TAYLOR, JOHN.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429190735
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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 
QA9.54 .B55 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Handbook of Mathematical Induction : Theory and Applications
Handbook of Mathematical Induction : Theory and Applications
Author 
Gunderson, David S., author.
Preferred Shelf Number 
QA9.54 G863 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: