Refine your search
Availability
-
Authors
- Anscombe G. E. M, Ed (1)
- Appel, Andrew W. (1)
- Cheng, Eugenia (1)
- Cook, Stephen (1)
- Demaine , Erik D. (1)
- Eckhardt, William (1)
- Givant, Steven (1)
- Halmos, Paul (1)
- Hearn, Robert A. (1)
- Hedman, Shawn (1)
- Immerman, Neil (1)
- Janzing, Dominik (1)
- Li, Ming (1)
- Liebeck, M. W. (1)
- McGuinness, Brian. (1)
- Mendelson, Elliott (1)
- Nguyen, Phuong (1)
- Peters, Jonas (1)
- Polya, G. (1)
- Pudlak, Pavel (1)
- Quine, W. V, (1)
- Schölkopf, Bernhard (1)
- Stillwell, John (1)
- Velleman, Daniel J. (1)
- Vitanyi, Paul (1)
- Wilder, Raymond L. (1)
- Wittgenstein, Ludwig (2)
- Wright, G. H, Ed (1)
- Show more
- Show less
-
Collections
- General (8)
-
Item types
- Books (20)
-
Locations
- General Stacks (3)
-
Series
-
Topics
- Algebra (1)
- Algebra -- Study and... (1)
- Algebra, Boolean (1)
- Algebraic logic (1)
- Algorithms (2)
- Analysis (Philosophy... (1)
- Causation (1)
- Clustering Classific... (1)
- Computational comple... (2)
- Computer Algorithms (1)
- Computer Science (1)
- Computer software (1)
- Computer Software (1)
- Derandomization (1)
- Games--Mathematical ... (1)
- Inference (1)
- Infinite (1)
- Infinite -- Popular ... (1)
- Intelligence (AI) &... (1)
- Kolmogorov Complexit... (1)
- Language and languag... (1)
- Logic (2)
- Logic Symbolic and M... (1)
- Logic, Symbolic and ... (7)
- Logic, Symbolic and ... (1)
- Logic, Symbolic and ... (1)
- Logica (1)
- Logique (1)
- Logique symbolique e... (2)
- Machine Learning (1)
- Mathematical Statist... (1)
- Mathematics (1)
- Neural Networks (1)
- Optical Pattern Reco... (1)
- PHILOSOPHY -- Logic (1)
- Problem solving--Mat... (1)
- Programming (1)
- Proof theory (1)
- Quantum Kolmogorov C... (1)
- Statistics (1)
- Wittgenstein, Ludwig... (1)
- Show more
- Show less