Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
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 BEGINNER'S GUIDE TO MATHEMATICAL PROOF
BEGINNER'S GUIDE TO MATHEMATICAL PROOF
Author 
DeBonis, Mark J.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032687728
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Author 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture
Maximal Planar Graph Theory and the Four-Color Conjecture
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets