Refine your search
Availability
-
Authors
- Schutte, K.
- Ackermann, Wilhelm
- Adian S. I
- Bar-Hillel, Yehoshua
- Barendregt, H. P.
- Barendregt, Hendrick...
- Bochenski, Innocenti...
- Braffort, Paul
- Fraenkel, Abraham Ad...
- Goodstein, Reuben Lo...
- Heyting, Arend
- Higman, Graham
- Hirschberg, David
- Lesniewski, Staislaw
- Luschei, Eugene C.
- McCall, Storrs
- Robinson, Abraham
- Rubin, Herman
- Rubin, Jean E.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Logic, Symbolic and...
- Algebra, Abstract
- Arithmetic
- Groups, Theory of
- Induction (Logic)
- Lambda calculus
- Logic
- Logic, Symbolic and ...
- Logic, Symbolic and ...
- Mathematics
- Metamathematics
- Modality (Logic)
- Model theory
- Recursive functions
- Science
- Semantics (Philosoph...
- Set theory
- Syllogism
- Show more
- Show less