Refine your search
Availability
-
Authors
- Anil Nerode
- Calvin Jongsma
- D. Chudnovsky (ed.)
- Daniel Kroening
- Daniel W. Cunningham
- Dirk van Dalen
- G. Chudnovsky (ed.)
- Gregory H. Moore
- Heinz-Dieter Ebbingh...
- Joel Spencer
- Jorg Flum
- Melvin Fitting
- Melvyn B. Nathanson
- Mordechai Ben-Ari
- Neil Immerman
- Ofer Strichman
- Peter Komjath
- S. M. Srivastava
- Victor S. Guba
- Wolfgang Thomas
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Mathematics - Study...
- Algorithms
- Borel sets
- Computational comple...
- Computer science - M...
- Computer science – M...
- Decision making -- M...
- Discrete mathematics
- Group theory
- Logic - Symbolic and...
- Logic, Symbolic and ...
- LOGIC, SYMBOLIC AND ...
- Mathematical analysi...
- MATHEMATICAL LOGIC
- Mathematical statist...
- Mathematics
- Proof theory
- Random graphs
- Set theory
- Show more
- Show less