Refine your search
Availability
-
Authors
- Aizerman, M. A.
- Carnap, Rudolf
- Church, Alonzo
- Crossley, John N.
- Gusev, Leonid A.
- Heeffer, Albrecht
- Hindley, J. Roger
- Hodges, Wilfrid
- Keene, G. B.
- Leisenring, A. C.
- Menzler-Trott, Eckar...
- Nidditch, P. H.
- Plotkin, J. M.
- Post, Emil Leon
- Rozonoer, Lev I.
- Russell, Bertrand
- Smeaton, Amethe
- Smirnova, Irina M.
- Steen, Stourton Will...
- Van Dyck, Maarten
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms
- Combinatorial analys...
- Computational comple...
- Functions
- Lattice theory
- Logic, Symbolic and ...
- Logica Matematica (T...
- Logical positivism
- Mathematicians
- Mathematics
- Metamathematics
- Model theory
- Numbers, Natural
- Ordered sets
- Philosophy
- Probabilités
- Recursive functions
- Sequential machine t...
- Show more
- Show less