Refine your search
Availability
-
Authors
- Hill, S (1)
- Margaris, A (1)
- Suppes, P (1)
-
Holding libraries
- NISER LIBRARY (2)
-
Item types
- Book (2)
-
Topics
- COMMUTATIVE LAWS (1)
- FIRST ORDER LOGIC (1)
- LOGIC, SYMBOLIC AND ... (1)
- PREDICATE CALCULUS (1)
- QUANTIFIERS (1)
- TAUTOLOGIES UNIVERSA... (1)
- TRUTH AND VALIDITY (1)
- Show more
- Show less