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
000000000000DEFAULT
Print
1. 
Cover image for Small and short-range radar systems
Small and short-range radar systems
Author 
Charvat, Gregory L., author.
Preferred Shelf Number 
TK6575 .C4746 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Introduction to mathematical proofs
Introduction to mathematical proofs
Author 
Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number 
QA9.54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The nuts and bolts of proofs an introduction to mathematical proofs
The nuts and bolts of proofs an introduction to mathematical proofs
Author 
Cupillari, Antonella. ScienceDirect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Spaces of PL manifolds and categories of simple maps
Spaces of PL manifolds and categories of simple maps
Author 
Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hqsv
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for A realist theory of art history
A realist theory of art history
Author 
Verstegen, Ian.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Nonlinear optimal control theory
Nonlinear optimal control theory
Author 
Berkovitz, Leonard David, 1924, author. Medhin, Negash G.
Preferred Shelf Number 
QA402.35 .B47 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Semantic and Conceptual Development : An Ontological Perspective
Semantic and Conceptual Development : An Ontological Perspective
Author 
Keil, Frank C., author. Cotter, Kevin, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.4159/harvard.9780674181816
https://www.degruyter.com/isbn/9780674181816
Cover https://www.degruyter.com/cover/covers/9780674181816.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Limits of computation : an introduction to the undecidable and the intractable
Limits of computation : an introduction to the undecidable and the intractable
Author 
Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Preferred Shelf Number 
QA267.7 .R445 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Language and Logos : Studies in theoretical and computational linguistics
Language and Logos : Studies in theoretical and computational linguistics
Author 
Blaszczak, Joanna, contributor. Brekle, Herbert E., contributor. Cavar, Damir, contributor. Didakowski, Jörg, contributor. Ebert, Christian, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1524/9783050062365
https://www.degruyter.com/isbn/9783050062365
Cover https://www.degruyter.com/document/cover/isbn/9783050062365/original
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Frege's notations what they are and how they mean
Frege's notations what they are and how they mean
Author 
Landini, Gregory. Palgrave Connect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The history of mathematical proof in ancient traditions
The history of mathematical proof in ancient traditions
Author 
Chemla, Karine.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Godel's way : exploits into an undecidable world
Godel's way : exploits into an undecidable world
Author 
Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Preferred Shelf Number 
QA9.65 .C428 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets