Switch to list view
Switch to thumbnail view
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Field Arithmetic
Field Arithmetic
Author 
Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77270-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Author 
Kohlenbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Author 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Discrete Thoughts Essays on Mathematics, Science and Philosophy
Discrete Thoughts Essays on Mathematics, Science and Philosophy
Author 
Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4775-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Indiscrete Thoughts
Indiscrete Thoughts
Author 
Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4781-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
Author 
Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76277-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Combinatorics and Graph Theory
Combinatorics and Graph Theory
Author 
Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79711-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets