Refine your search
Availability
-
Authors
- Ebbinghaus, Heinz-Di... (2)
- Flum, Jörg (1)
- Thomas, Wolfgang (1)
-
Holding libraries
- NISER LIBRARY (1)
- SMS Library (1)
-
Item types
- E(electronic)-Books (1)
- NBHM Books (1)
-
Series
-
Topics
- Applications of Math... (1)
- Computer science (1)
- Gödel’s completeness... (1)
- Herbrand's theorem (1)
- History of Mathemati... (1)
- Lindström’s theorem (1)
- Logic (1)
- Logic, Symbolic and ... (2)
- Mathematical Logic a... (1)
- Mathematical Logic a... (1)
- Mathematical provabi... (1)
- Mathematics (1)
- Mathematics of Compu... (1)
- Mathematics_ (1)
- Model theory logic (1)
- Predicate calculus (1)
- Presburger arithmeti... (1)
- Science - History (1)
- Trakhtenbrot’s theor... (1)
- Show more
- Show less