Refine your search
Availability
-
Authors
- Abramsky, Samson (1)
- Kontinen, Juha (1)
- Vollmer, Heribert (1)
- Väänänen, Jouko (3)
-
Item types
- E-BOOKS (1)
-
Series
-
Topics
- Computer science (1)
- First-order logic (1)
- Logic (1)
- Logic, Symbolic and ... (1)
- Mathematical Logic a... (1)
- Mathematical Logic a... (1)
- Model theory (1)
- Show more
- Show less