Refine your search
Availability
-
Authors
- Clarke, Francis (1)
- Dodson, CTJ (2)
- Ebbinghaus, Heinz-Di... (1)
- Flum, Jörg (1)
- Gall, J.F.L. (1)
- Hug, Daniel (1)
- Poston, T (2)
- Thomas, Wolfgang (1)
- Weil, Wolfgang (1)
- Show more
- Show less
-
Holding libraries
- NISER LIBRARY (4)
- SMS Library (2)
-
Item types
- Book (4)
- NBHM Books (2)
-
Series
-
Topics
- Algebraic geometry (1)
- Brunn-Minkowski theo... (1)
- CALCULUS OF TENSOR (2)
- FUNCTIONAL ANALYSIS (1)
- Functional analysis ... (1)
- Geometry (1)
- GEOMETRY, DIFFERENTI... (2)
- Herbrand's theorem (1)
- Integral calculus & ... (1)
- Integral geometry (1)
- Lindström’s theorem (1)
- Logic, Symbolic and ... (1)
- MARKOV PROCESSES (1)
- Mathematical Logic a... (1)
- Mathematical provabi... (1)
- Mathematics of Compu... (1)
- Model theory logic (1)
- Predicate calculus (1)
- Presburger arithmeti... (1)
- Trakhtenbrot’s theor... (1)
- Show more
- Show less