Refine your search
Availability
-
Authors
- Anil Nerode
- Calvin Jongsma
- D. Chudnovsky (ed.)
- Daniel W. Cunningham
- David Garber (ed.)
- Delaram Kahrobaei (e...
- G. Chudnovsky (ed.)
- George Tourlakis
- Gregory H. Moore
- James L. Hein
- Jean-Yves Girard (ed...
- Melvyn B. Nathanson
- Moshe Machover
- Paul Ruet (ed.)
- Peter Komjath
- Philip Scott (ed.)
- Thomas Ehrhard (ed.)
- Valentin Goranko
- Willem Conradie
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Computer science - M...
- Computer science --M...
- Computer science – M...
- Computer science – M...
- Data structures (Com...
- DATA STRUCTURES (COM...
- Discrete mathematics
- Gödel, Kurt
- Logic, Symbolic and ...
- LOGIC, SYMBOLIC AND ...
- Logic, Symbolic and ...
- Mathematics
- Mathematics - Logic
- Mathematics – Philos...
- Proof theory
- Set theory
- Show more
- Show less