Refine your search
Availability
-
Authors
- Anscombe G. E. M, Ed (1)
- Cheng, Eugenia (1)
- Cook, Stephen (1)
- Courcelle, Bruno (1)
- Demaine , Erik D. (1)
- Engelfriet, Joost (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)
- Prest, Mike (1)
- Pudlak, Pavel (1)
- Schölkopf, Bernhard (1)
- Tourlakis, George (1)
- Velleman, Daniel J. (2)
- Vitanyi, Paul (1)
- Wilder, Raymond L. (1)
- Wittgenstein, Ludwig (2)
- Wright, G. H, Ed (1)
- Show more
- Show less
-
Collections
- General (12)
-
Item types
- Books (20)
-
Locations
- General Stacks (5)
-
Series
- Adaptive computation... (1)
- Cambridge studies in... (1)
- Chapman & Hall/CRC m... (1)
- Dolciani mathematica... (1)
- Dover books on mathe... (1)
- Encyclopedia of math... (2)
- Graduate texts in co... (1)
- Oxford texts in logi... (1)
- Perspectives in logi... (1)
- Routledge classics (1)
- Text in the Computer... (1)
- Show more
- Show less
-
Topics
- Algebra (1)
- Algebra -- Study and... (1)
- Algebra, Boolean (1)
- Algebraic logic (1)
- Algorithms (2)
- Analysis (Philosophy... (1)
- Categories (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)
- General principles o... (2)
- Graphic Methods (1)
- Inference (1)
- Infinite (1)
- Infinite -- Popular ... (1)
- Infinity (2)
- Intelligence (AI) &... (1)
- Kolmogorov Complexit... (1)
- Language and languag... (1)
- Logic (3)
- Logic Symbolic and M... (1)
- Logic, Symbolic and ... (9)
- Logic, Symbolic and ... (3)
- Logic, Symbolic and ... (1)
- Logica (1)
- Logique (1)
- Logique symbolique e... (2)
- Machine Learning (1)
- Mathematical Statist... (1)
- Mathematics (4)
- Neural Networks (1)
- Optical Pattern Reco... (1)
- Peano Arithmatics (1)
- PHILOSOPHY -- Logic (1)
- Problem solving--Mat... (1)
- Programming (1)
- Proof theory (2)
- Quantum Kolmogorov C... (1)
- Set theory (1)
- Statistics (1)
- Symbolic and Mathema... (1)
- Wittgenstein, Ludwig... (1)
- Show more
- Show less