Refine your search
Availability
-
Authors
- Axler, S. (1)
- Deaconu, Valentin (1)
- Exner, George R. (1)
- Gunderson, David S (1)
- Loehr, Nicholas A. (1)
- Nicholson, Neil R. (1)
- Pfaff, Donald C. (1)
- Roberts, C E (1)
- Wohlgemuth, Andrew (1)
- Show more
- Show less
-
Holding libraries
- NISER LIBRARY (7)
-
Item types
- Book (7)
-
Series
-
Topics
- INDUCTION-MATHEMATIC... (1)
- Logic, symbolic and ... (1)
- LOGIC,SYMBOLIC AND M... (2)
- Mathematics (1)
- PROBABILITIES (1)
- Proof theory (3)
- PROOF THEORY (3)
- PROOF THEORY-TEXT BO... (1)
- Show more
- Show less