Refine your search
Availability
-
Authors
- Braüner, Torben., au... (1)
- Dalen, Dirk., author (1)
- Davis, Philip J., au... (1)
- Foreman, Matthew., e... (1)
- Indrzejczak, Andrzej... (1)
- Lindström, Sten., ed... (1)
- Linsky, Bernard (1)
- Mancosu, Paolo., edi... (1)
- Skof, Fulvia., edito... (1)
- Zermelo, Ernst., aut... (1)
- Łukowski, Piotr., au... (1)
- Show more
- Show less
-
Holding libraries
- NISER LIBRARY (11)
-
Item types
- Book (1)
- E(electronic)-Books (10)
-
Topics
- Algorithms (1)
- Applications of Math... (1)
- Artificial Intellige... (1)
- Computer science (3)
- History of Mathemati... (3)
- History of Mathemati... (3)
- Logic (6)
- Logic, Symbolic and ... (9)
- Mathematical Logic a... (9)
- Mathematical Logic a... (3)
- Mathematics (7)
- Mathematics, general (2)
- Mathematics_ (3)
- Ontology (1)
- Philosophy (4)
- Philosophy (General) (4)
- Philosophy of Scienc... (4)
- Science - Philosophy (4)
- Topology (1)
- Visualization (1)
- Show more
- Show less