Limit Search Results
Author
Language
Publication Date
-
Subject
Probability Theory.
(19)
Mathematical Logic and Foundations.
(11)
Mathematical logic.
(11)
Mathematics.
(5)
Statistics .
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
00000000DEFAULT
Print
13. 
Cover image for Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
by 
BARTOCCI, CLAUDIO. editor.
https://doi.org/10.1007/978-3-642-13606-1
Format: 
Excerpt: 
Mathematical Logic and Foundations.
14. 
Cover image for Philosophy of Statistics.
Philosophy of Statistics.
by 
Prasanta S. Bandyopadhyay.
ScienceDirect http://www.sciencedirect.com/science/book/9780444518620
Format: 
Excerpt: 
Inference -- Common Cause in Causal Inference / Peter Spirtes -- The Logic and Philosophy of Causal
15. 
Cover image for Identification of Continuous-time Models from Sampled Data
Identification of Continuous-time Models from Sampled Data
by 
Garnier, Hugues. editor.
https://doi.org/10.1007/978-1-84800-161-9
Format: 
Excerpt: 
Logic design.
16. 
Cover image for The Strength of Nonstandard Analysis
The Strength of Nonstandard Analysis
by 
Berg, Imme van den. editor.
https://doi.org/10.1007/978-3-211-49905-4
Format: 
Excerpt: 
Mathematical Logic and Foundations.
17. 
Cover image for Kolmogorov's Heritage in Mathematics
Kolmogorov's Heritage in Mathematics
by 
Charpentier, Eric. editor.
https://doi.org/10.1007/978-3-540-36351-4
Format: 
Excerpt: 
Mathematical Logic and Foundations.
18. 
Cover image for The Congruences of a Finite Lattice A Proof-by-Picture Approach
The Congruences of a Finite Lattice A Proof-by-Picture Approach
by 
Grätzer, George. author.
https://doi.org/10.1007/0-8176-4462-8
Format: 
Excerpt: 
Mathematical Logic and Foundations.
19. 
Cover image for Decision Theory and Multi-Agent Planning
Decision Theory and Multi-Agent Planning
by 
Della Riccia, Giacomo. editor.
https://doi.org/10.1007/3-211-38167-8
Format: 
Excerpt: 
Mathematical Logic and Foundations.
20. 
Cover image for Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
by 
McIver, Annabelle. author.
https://doi.org/10.1007/b138392
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.