Refine your search
Availability
-
Authors
- Ebbinghaus, Heinz-Di... (1)
- Flum, Jörg (1)
- Margaris, A (1)
- Thomas, Wolfgang (1)
-
Holding libraries
- NISER LIBRARY (1)
- SMS Library (1)
-
Item types
- Book (1)
- NBHM Books (1)
-
Series
-
Topics
- FIRST ORDER LOGIC (1)
- Gödel’s completeness... (1)
- Herbrand's theorem (1)
- Lindström’s theorem (1)
- Logic, Symbolic and ... (1)
- Mathematical Logic a... (1)
- Mathematical provabi... (1)
- Mathematics of Compu... (1)
- Model theory logic (1)
- PREDICATE CALCULUS (1)
- Predicate calculus (1)
- Presburger arithmeti... (1)
- QUANTIFIERS (1)
- Trakhtenbrot’s theor... (1)
- Show more
- Show less