Refine your search
Availability
-
Authors
- Srivastava, SM (2)
-
Holding libraries
- NISER LIBRARY (2)
-
Item types
- Book (2)
-
Series
- Universitytext (1)
-
Topics
- ARITHMETICAL SETS (1)
- INCOMPLETENESS THEOR... (1)
- MATHEMATICAL LOGIC (2)
- PROPOSITIONAL LOGIC (2)
- RECURSIVE FUNCTIONS (1)