Refine your search
Availability
-
Authors
- A. Pitts (ed.)
- Daniel Kroening
- David Basin
- Elliott Mendelson
- Frank Smith (ed.)
- George Tourlakis
- James L. Hein
- Jean-Yves Girard (ed...
- Melvyn B. Nathanson
- Moshe Machover
- Neil Immerman
- Ofer Strichman
- Paul Ruet (ed.)
- Philip Scott (ed.)
- Raymond M. Smullyan
- S. Barry Cooper (ed....
- S. M. Srivastava
- Thomas Ehrhard (ed.)
- Wilfrid Hodges
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
- Annals of mathematic...
- Cambridge studies in...
- Contemporary Mathema...
- Discrete mathematics...
- Graduate studies in ...
- Graduate texts in co...
- Graduate texts in ma...
- Graduate texts in ma...
- K & E series on knot...
- London Mathematical ...
- LTCC advanced mathem...
- Oxford texts in logi...
- Oxford texts in logi...
- Oxford texts in logi...
- Problem books in mat...
- Springer monographs ...
- Studies in the Histo...
- Undergraduate Texts ...
- Universitext
- Show more
- Show less
-
Topics
- Algorithms
- Automatic theorem pr...
- Computable functions
- Computational comple...
- Computer science – M...
- Data structures (Com...
- Decision making -- M...
- Group theory
- LOGIC (COMPUTER SCIE...
- Logic, Symbolic and ...
- LOGIC, SYMBOLIC AND ...
- MATHEMATICAL LOGIC
- Mathematics
- Number theory
- Numbers, Prime
- Proof theory
- Set theory
- Show more
- Show less