Refine your search
Availability
-
Authors
- Alvarez Jimenez, Car...
- Boolos, George
- Buchholz, Wilfried
- Dhombres, Jean G.
- Ehrhard, Thomas
- Girard, Jean-Yves
- Goldstein, Rebecca
- Hacking, Ian
- Hastie, Trevor
- Hodel, Richard E.
- Krantz, Steven Georg...
- Louvish, David
- Nelsen, Roger B.
- Orevkov, V. P.
- Pohlers, Wolfram
- Roever, W.-P. de
- Shiue, Peter Jau-Shy...
- Tibshirani, Robert
- Wainwright, Martin
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra
- Constructive mathema...
- Incompleteness theor...
- Induction (Mathemati...
- Induction (Mathémati...
- Intuitionistic mathe...
- Least squares
- Linear models (Stati...
- Logic, Symbolic and ...
- Logicians
- Mathematical statist...
- Mathematics
- Modality (Logic)
- Number theory
- Predicate calculus
- Preuve, théorie de l...
- Proof theory
- Recursive programmin...
- Show more
- Show less