Refine your search
Availability
-
Authors
- Diaconescu, R�azvan (1)
- Pogorzelski, Witold (1)
- Wojtylak, Piotr (1)
-
Holding libraries
-
Home libraries
-
Item types
- E-Book (2)
-
Locations
- Online Resource (2)
-
Series
-
Topics
- Completeness theorem (1)
- Logic, Symbolic and ... (1)
- Model theory (1)
Strathmore