Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Proof theory and logical complexity
Proof theory and logical complexity
Author 
Girard, Jean-Yves.
Preferred Shelf Number 
QA 9.54 G57 1987- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Author 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21919-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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: