Refine your search
- Availability
-
Authors
- Golovina, L. I. (1)
- Gunderson, David S. (1)
- Wand, Mitchell (2)
- Yaglom, I. M. (1)
- Youse, Bevan K. (1)
- Show more
- Holding libraries
- Home libraries
-
Item types
- Books (6)
-
Series
-
Topics
- Computer science (1)
- Computer science--Philosophy (1)
- Computer simulation (1)
- Electronic Digital Computers -- Programming (2)
- Geometry -- Problems, Exercises, Etc (1)
- Induction (Mathematics) (5)
- Induction (Mathematics) -- Problems, Exercises, Etc (1)
- Logic, Symbolic and mathematical (1)
- Modality (Logic) (1)
- Probabilities (1)
- Proof theory (1)
- Recursion Theory (2)