Refine your search
Availability
-
Authors
- Bell, J. L.
- Biswas, Nripendra Na...
- Carnap, Rudolf
- Cohen, Paul J.
- Enderton, Herbert B.
- Gödel, Kurt
- Hamkins, Joel David
- Hammack, Richard
- Havil, Julian
- Hill, Shirley A.
- Lipschutz, Seymour
- Lipson, Marc
- Livio, Mario
- Meyer, Paul L.
- Sawyer, W. W.
- Smullyan, Raymond M.
- Srivastava, S. M.
- Stolyar, A. A.
- Suppes, Patrick
- Viswanath, Kasturi
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra, Abstract
- Combinatorial analys...
- Computer science
- Discoveries in scien...
- Engineering mathemat...
- First-order logic
- Formal languages
- Language and languag...
- Logic design
- Logic, Symbolic and ...
- Mathematicians
- Mathematics
- Mathematics-study an...
- Probabilities
- Proof theory
- Proof theory Textboo...
- Set theory
- Statistics
- Textbooks
- Show more
- Show less