9 Results Found Subscribe to search results
000000000IIE
Print
1. 
Cover image for What logics mean : from proof theory to model-theoretic semantics
by 
Garson, James W., 1943- author.
Format: 
Books
Publication Date 
2013
Excerpt: 
What logics mean : from proof theory to model-theoretic semantics / Garson, James W., 1943- author.
Available: Copies:
2. 
Cover image for Why is there philosophy of mathematics at all?
by 
Hacking, Ian, author.
Format: 
Books
Publication Date 
2014
Excerpt: 
Proof theory.
Available: Copies:
3. 
Cover image for Statistical theory : a concise introduction
by 
Abramovich, Felix.
Format: 
Books
Publication Date 
2013
Excerpt: 
Statistical theory : a concise introduction / Abramovich, Felix.
Available: Copies:
4. 
Cover image for The existence of God : a philosophical introduction
by 
Nagasawa, Yujin.
Format: 
Books
Publication Date 
2011
Excerpt: 
God -- Proof.
Available: Copies:
5. 
Cover image for Environmental law and sustainability after Rio
by 
Benidickson, Jamie.
Format: 
Books
Publication Date 
2011
Excerpt: 
Environmental Justice in Kenya / Towards a New Theory of Environmental Liability Without Proof of Damage
Available: Copies:
6. 
Cover image for Computable economics
by 
Velupillai, Kumaraswamy, 1947-
Format: 
Books
Publication Date 
2011
Excerpt: 
Recursive Function Theory', Annals of the History of Computing, 3 (1), January, 52--67 / Stephen C. Kleene
Available: Copies:
7. 
Cover image for Discrete mathematics with applications
by 
Epp, Susanna S.
Format: 
Books
Publication Date 
2011
Excerpt: 
-- Elementary number theory and methods of proof -- Sequences, mathematical induction, and recursion -- Set
Available: Copies:
8. 
Cover image for Reason and responsibility : readings in some basic problems of philosophy
by 
Feinberg, Joel, 1926-
Format: 
Books
Publication Date 
2005
Excerpt: 
philosophy / Renâe Descartes ; The causal theory of perception, from An essay concerning human understanding
Available: Copies:
by 
Schneider, S. A. (Steve A.)
Format: 
Books
Publication Date 
2001
Excerpt: 
with SEES and USES -- 12. Data refinement -- 13. Refinement of nondeterminism -- 14. Proof oblications
Available: Copies:
Limit Search Results
Access Level
Format
Item Category 1
Material Type
Language
Library
Shelf Location
Publication Date
Item Available
Advanced Search Location