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
000000DEFAULT
Print
1. 
Cover image for A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfaces
A.D. Alexandrov : Selected Works Part II: Intrinsic Geometry of Convex Surfaces
Author 
Kutateladze, S.S., editor. Taylor and Francis.
Preferred Shelf Number 
QA643 EB .A358413 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for V.A. Fock--selected works : quantum mechanics and quantum field theory
V.A. Fock--selected works : quantum mechanics and quantum field theory
Author 
Fok, V. A. (Vladimir Aleksandrovich), 1898-1974., author. Faddeev, L. D. Khalfin, L. A. Komarov, I. V.
Preferred Shelf Number 
QC173.97 .F6513 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets